Registration Form

Static Analysis Symposium 2000

Santa Barbara, California
June 29--July 1, 2000

To register for the symposium, please complete this form and fax or mail it, with payment, to

    KSU Office
    ATTN: SAS2000 Registration
    Street Address Here
    Manhattan, KS, 66506 USA
    Fax: +1 785 XXX XXXX
    Phone: +1 785 XXX XXXX (Sorry, no phone registrations---use this number for questions only.)

You can also register electronically at this URL: http://www.ksu.edu/santos/sas/XXXXX.

Advance registration rates apply through Thursday, June 1, 2000. After June 1, late fees will apply. Registrations received before June 1 will be acknowledged by mail; late registrations will be acknowledged as time allows.

PERSONAL INFORMATION

Last/Family Name:__________________________________

First Name:________________________________________

Organization:_______________________________________

Address:___________________________________________

                 ___________________________________________

City:____________________ State/Province: _____________

Zip/Postal code:_____________ Country:_________________

Phone: __________________ FAX:_____________________

E-mail:____________________________________________



Please check the appropriate boxes below.

REGISTRATION
Conference registration includes technical sessions, proceedings, refreshment breaks, reception dinner on June 29, and banquet on June 30.
[ ] Advance Registration (must be received by June 1) $285
[ ] Late Registration (received June 2 or later) $360


ON-CAMPUS ACCOMMODATION
Reasonably priced, convenient accommodation is available on the University of California, Santa Barbara, campus. Accommodation includes meals served at the UCSB Dining Commons as described below.
[ ] Single room, 3 nights (arrival June 29, departure July 2), includes 3 breakfasts, 2 lunches, and 1 dinner: $185
[ ] Single room, night of June 28, includes breakfast on June 29: $55
[ ] Double room for 2 people, 3 nights (arrival June 29, departure July 2) includes, for each person, 3 breakfasts, 2 lunches, and 1 dinner: $285
    (will share room with _______________________________________ )
[ ] Double room, night of June 28, includes, for each person, breakfast on June 29: $80

[ ] I am staying on-campus and bringing an automobile, so I will require a parking permit. (The permit is free with on-campus accommodation.)


OFF-CAMPUS ACCOMMODATION
If you prefer to stay off-campus, you must make your own hotel room reservations; see the Conference web page at http://www.cis.ksu.edu/santos/sas for suggestions.

If you wish to eat lunches on June 30 and July 1 with the SAS participants who are staying on campus, you may purchase lunches at the UCSB Dining Commons.

[ ] I am staying off-campus and bringing an automobile, so I will require a parking permit for June 29-July 1: $15



DIET
[ ] I require a Vegetarian diet.


ADDITIONAL MEAL TICKETS
[ ] LICS/SAS ``beach barbeque,'' the evening of June 28: $25 per person. Number of tickets desired:_______
[ ] Extra reception meal ticket, the evening of June 29: $35 per person. Number of tickets desired:_______
[ ] Extra banquet meal ticket, the evening of June 30: $45 per person. Number of tickets desired:_______



SUMMARY OF CHARGES
Conference registration            $________
On-campus accommodation  $________
Parking permit                             $________
Additional meal tickets             $________
Total charges                               $________


METHOD OF PAYMENT
[ ] payment enclosed (enclose a bank check drawn from a USA bank, made payable to "XXXXXXXXXXX")
[ ] charge to credit card (complete the information below)
[ ] electronic bank transfer (see below)

Credit card type: [ ] MasterCard     [ ] Visa

Card No.: ______________________ Exp. Date:__________

Name on Card:______________________________________

Signature: _________________________________________


For electronic bank transfer, please include the following information in the transfer:

Name of Bank: XXXXXXX
Bank number (routing number): XXXXXX
Account number: XXXXXX