Types summer school'02: Theory and practice of formal proofs

               Application for attendance

I hereby apply for admission as participant in the International Types
Summer School on Theory and Practice of Formal Proofs, Giens, France,
September 2-13, 2002.

Surname: ..........   First Name: .......... 
Date of birth (dd/mm/yy): ..........  Citizenship: .......... male/female

Affiliation: ..........

Address: 
  Department: .......... 
  Institution: .......... 
  Street: .......... 
  Postcode: .......... 
  City: .......... 
  Country: .......... 

Phone: ..........   Fax: .......... 
E-mail: ..........  WWW: .......... 

A letter of recommendation is needed for students not having a PhD degree.

A letter of recommendation from .........., position .........., 
will follow under separate cover. 
This letter will be sent both by e-mail (or by fax) and by surface mail.

Highest university degree obtained, year, name of institution,
PhD adviser (in the case of a PhD degree): .......... 

Present professional position and duties: .......... 

Current fields of interest in computer science: .......... 

Publications (if any): .......... 

Periods spent outside the academic field (if any): ..........

Registration fees:
The registration fees, including all expenses (lecture material,
accomodation, all meals, coffee break refreshments and social events,
during the 12 days) are 1000 Euros per participant.

  Date and signature: .......... 

----------------------------------------------------------------------

Application for a grant: Yes/No
-----------------------

Limited funds will be available to offer a few grants.  Note that grants 
may cover all or parts of travel and/or registration fees. In the case 
you apply for a grant, please fill in the 3 following items:

1) Travel expenses:
  When using the most economical way of travelling, my travel costs amount to
  ............... Euros.
  I hereby request a support for my travel expenses to the amount of
  ............... Euros.

2) Registration fees:
  I hereby request a support for my registration fees to the amount of
  ............... Euros.

3) Statement by the institution (only needed for applications for a grant):
   ----------------------------
  The applicant is associated with our institution. 
  His/Her position is: ............... 

  Date and signature/stamp: .......... 

----------------------------------------------------------------------

Letter of recommendation:
------------------------
A letter of recommendation is needed for students not having a PhD degree.
In this case, applications without a letter of recommendation cannot be 
taken into consideration.

Make sure that your letter of recommendation will arrive before the deadline
for application. 
---------------------------------------------------------------------------

The DEADLINE for application for a grant is Friday April 12, 2002.
In the case you do not apply for a grant:
the deadline for application is Friday april 19, 2002.

   Send your application by e-mail
   - both by surface mail and by e-mail in the case you apply for a grant -
   to:

     Joëlle Despeyroux 
     projet Miró
     INRIA, 2004, route des Lucioles  B.P.93,
     06902 Sophia-Antipolis Cedex, France.
     E-mail: Joelle.Despeyroux@inria.fr
     Fax:   +33 (0)4 92 38 50 60.