Organising  Committee

Prof Dines Bjørner
 Prof Martin Henson
 Prof Branislav Rovan

 Dr Dusan Guller
 Mr Martin Penicka


A PhD Summer School

Logics of Formal Software Specification Languages


Deadline for applications:
Tuesday 4 May 2004
Notification of acceptance:
Sunday 9 May 2004
School begins: Sunday 4pm 6 June 2004 School ends: Saturday 9am 19 June 2004


Euro 1,000 inclusive.
The fees are all inclusive: Two persons per double room, all meals, all in-between meal refreshments, welcome reception, banquet, and all lecture notes, an excursion, and local transports between Poprad Airport/Rail Station and conference center Sunday 6 June and Saturday 19 June.


The PhD Summer school organisers are seeking external funding in order to provide partial or full coverage of fees. Participants are expected to cover travel to/from Poprad (a nearby Airport and rail station city). Should you need support please apply for it.


Application Form (.doc)
Application Form

Applications can be made ...

By email:
Dusan Guller:

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

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



Background and objectives

LFSL'04 is a two-week international summer school which aims to bring PhD students and young researchers up to date with a full range of formal software specification languages.

The main focus of the school is on logics for formal specification and relates to two special issues of the journal Computing and Informatics: Volume 22, 2003, No. 3 and Volume 22, 2003, No. 4

This Summer School is  supported by:


Technical University of Denmark
University of Essex
Comenius University


Last modified: Martin Henson, 17 February 2004