 
 
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 |
|