Types summer school'02: Theory and Practice of Formal Proofs

Giens, France
September 2 - 13, 2002

ELECTRONIC REGISTRATION FORM

dead-line to register: Friday May 31, 2002

Last name:      
First name:     
Affiliation:    
Postal address: 
                
City:           
ZIP Code:       

Country:        
Phone:          
Fax:            
E-mail:         
WWW:

Registration Fees

These fees include proceedings, full boarding (bedroom, lunches, and dinners), coffee breaks, the Tour to the Porquerolles Island. 1) Students, academics or industrials attending the school:

1000 Euros (VAT 19.6% included)

For students, a copy of the student certificate is required.
Accomodation starts on Sunday September 1st at dinner and ends on Saturday September 14 after breakfast.
Lodging is in double room.
If you know whom you would like to share a room with, please give his/her name:

2) Lecturers or free participants:

Double room: 64 Euros per day x days = Euros (VAT 19.6% included)

Single room: 88 Euros per day x days = Euros (VAT 19.6% included)

Accomodation starts on the first day at dinner and ends the last day after breakfast.
Lodging is in single room.

Payment

All payments should be made in Euros payable to the order of "Agent Comptable de l'INRIA", through

Banker's draft
Post office Cheque (account CCP Paris 30041-00001-0909945 B O20-31)
Bank transfer to the "Trésorerie Générale des Yvelines," Versailles (France), account number 10071-78000-00003003958-80

Please indicate your name and the conference name Types Summer School'02.

Cancellation

Fees will be returned in full for any written cancellation received before July 30th, 2002 (postmarked stamp). There will be no entitlement for later cancellation.

Arrival / Departure

Arrival date and time     
Departure date and time   
Number of nights

Would you like to use the Types shuttle on arrival? Yes No
Would you like to use the Types shuttle on departure? Yes No

Your registration is now complete, please click below to send it to the organizers.
You will be displayed the contents of your submission, which you can then print.
You will also receive a carbon copy of the email sent to the organizers.

The deadline for registration is Friday May 31, 2002.
September being a very busy season on the french Riviera, it is important that you meet this deadline because accomodation may be not guaranted after this date.

Feel free to contact Monique Simonetti for any further informations.

Monique.Simonetti@sophia.inria.fr and Joelle.Despeyroux@sophia.inria.fr