Send form to:

Name:_________________________________________________________________
                 Last/Family                                                       First                                           MI

Company:______________________________________________________________

Address/Mailstop:________________________________________________________

City/State/Zip/Country:____________________________________________________

Daytime Number : _______________ Fax Number:________________________________

IEEE/CS/Cooperating Organization Member Number:_______________________________

Do you have any special needs?__________________________________________________

Please circle the appropriate registration fee:

ADVANCE REGISTRATION (By October 9, 1998)

Technical Meeting: Member $350       Nonmember $475          Student $200
After October 9:    Member $475          Nonmember $575          Student $350
 

Tutorials : (cost is per tutorial)

Half Day      Member $175           Nonmember $225 (By October 9, 1998)

Half Day      Member $275           Nonmember $310 (After October 9, 1998)

Morning Tutorial (select one)    ____T1 _____T2 _____T3

Afternoon Tutorial (select one) ____T4 _____T5 _____T6

Tutorial Titles:

• T1. The Z Notation: K. Periyasamy (University of Manitoba)
• T2. Verification and Validation: S. Easterbrook (IVV, NASA)
• T3. Model Checking: G. Holzmann (Bell Labs)
• T4. Object-Z: K. Periyasamy (University of Manitoba)
• T5. Security: R. Kemmerer (University of California at Santa Barbara)
• T6. SCR: C. Heitmeyer (Naval Research Labs)

PLEASE MAKE ALL CHECKS PAYABLE TO : IEEE COMPUTER SOCIETY. ALL CHECKS MUST BE IN U.S. DOLLARS DRAWN ON U.S. BANKS. Credit card charges will appear on statement as "IEEE Computer Society - Registration."

Method of payment accepted:

_____ Personal Check _____ Company Check _____ Traveler's Check

_____ American Express _____ MasterCard _____ VISA

_____ Diners Club

Credit Card Number: ______________________________________________________________

Cardholder Name:____________________________________Exp.Date:____________

Signature:

______________________________________________________________________