A CoLogNET Event co-sponsored by Microsoft Research and UNU-IIST

A PhD and Post-doctoral Summer School

Logics of Formal Software Specification Languages

Congress Centre Academia in Stara Lesna

The High Tatras, Slovakia
June 6-19, 2004


AUDIENCE This Summer School was aimed at PhD Students, young researchers and academics with interests in formal methods, system specification, program development and logical foundations.

PROGRAMME The scientific programme consisted of lecture courses by renowned experts in the field specification languages and their logical foundation. The school offered nine main courses, each focussing on one major specification language and its logic. Post school materials are available.

CAMPUS The Congress Centre Academia is situated at the foot of the Lomnicky peak in the eastern part of the Vysoke Tatry Mountains in Slovakia, close to the Tatra National Park, and in quiet surroundings.

SLIDE SHOWS The event was an outstanding academic and social success. Many thanks go to the speakers for their superb contributions, as teachers, listeners, advisors and authors. Congratulations to the many participants who travelled from 24 countries: their enthusiasm, energy, intelligence and good humour was an inspiration!



Prof Dines Bjørner General Chair
Prof Martin Henson School Director
Prof Branislav Rovan School Co-Director
Dr Dusan Guller School Logistics
Mr Martin Penicka Administration

Background and objectives

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

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

This Summer School was  supported by:


Microsoft Research

Slovak Society for Computer Science
Technical University of Denmark
University of Essex
Comenius University

Last modified: Martin Henson, 17 February 2004