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

SLIDE SHOWS

From Martin Henson, School Director:
(probably won't work under linux)

Slide Show 1
Slide Show 2
Slide Show 3
Slide Show 4
Slide Show 5

The MEXICAN WAVE at SPISSKY HRAD

From Steve Reeves (quicktime; lovely but 8.5MB):

Slide Show 6

More to come when received ...

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


 

Last modified: Martin Henson, 2 March 2004