Workshop on Industrial-Strength Formal 
Specification Techniques
(WIFT'98)

October 21-23, 1998
Boca Raton, Florida

Send form to:  
IEEE Computer Society
Attn: WIFT Registration
Dept. 6006
Washington, D.C. 20042-6006
or fax 
to 202-728-0884

Please Print
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
* T5. Security: R. Kemmerer (University of California at Santa Barbara)
* T6. SCR: C. Heitmeyer (Naval Research Labs)
Total Enclosed: $_____________________________________________________
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: 
______________________________________________________________________