   
|
|
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
EVENT
SUMMARY
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!
PARTICIPANT EMAIL LIST
word
pdf
outlook
ORGANISING COMMITTEE
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
|
 |
|
