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

IMPORTANT DATES

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

FEES

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.

SPONSORSHIP

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.

APPLICATIONS

Application Form (.doc)
Application Form
(.txt)

Applications can be made ...

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

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

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

HOME
 

 

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:

CoLogNET

Technical University of Denmark
University of Essex
Comenius University


       

Last modified: Martin Henson, 17 February 2004