============================================================================
Workshop on formal theorem proving -- Belgrade, Jan 29 - Feb 01, 2008					
    
           http://www.matf.bg.ac.rs/~janicic/ftp-workshop.htm
============================================================================

                             Registration form

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

1. 
(a) Name:

(b) e-mail:
(c) web address:
(d) phone number:
(e) postal address:

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

2. Institution:

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

3. Position (undergraduate student/graduate student/reseach fellow/professor/...):

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

4. I would like to participate at:
 (a) the e-learning track.
 (b) the Isabelle track.

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

5. If 5(b):
I 
(a) will have with me
(b) will not have with me
a laptop running under linux.

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

6. I 
(a) want 
(b) don't want 
to give a talk at the workshop.

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

7. 
(a) I would like the organizers to book a hotel room for me.
(b) I will find accommodation by myself.

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

8. If 7(a):
(a) I would like to have a single room.
(b) I don't mind sharing a double room with a workshop participant
(name him/her if you have a specific participant in mind).

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

9. I 
(a) want  
(b) don't want  
to have lunches together with other participants of the workshop
(in a restaurant close to the workshop venue).

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

10. I understand that participation at the workshop is free, but 
accommodation expenses, food expenses, and social events have to
be covered by the participants themselves.

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