A PhD Summer School

Logics of Formal Software Specification Languages
Congress Centre “Academia”, Stara Lesna
The High Tatras, Slovakia 
June 6-19, 2004

APPLICATION FORM

(please type or print in BLOCK CAPITALS)

Name: __________________________________________________________________________

Work Address: __________________________________________________________________

________________________________________________________________________________

Private Address: _______________________________________________________________

________________________________________________________________________________



Department: ____________________________________________________________________

Institution: ___________________________________________________________________

E-mail: ________________________________________________________________________


Telephone number: (between February and June 2004) _____________________________

Degree Programme Details (if relevant):

Degrees obtained - BSc [ ], MSc [ ], PhD [ ]
Current Study - if not yet PhD: MSc Study [ ], PhD Study [ ], N/A [ ]


Year of Study - 



What is the main area of your research?

Please give a short description of your current research:
















There may be an opportunity for participants to give a short presentation of their research. If you would like to do so, please provide a title and brief abstract:















Return this form, by no later than Tuesday 4 May 2004.

By email: 
Dusan Guller: guller@fmph.uniba.sk

By post:
Branislav Rovan
Comenius University 
Department of Computer Science 
Mlynska dolina 
842 48 Bratislava 
Slovakia

By Fax:
Fax: +421 2 65427041 (Attn: Branislav Rovan)