[TYPES] PhD Summer School -- Logics of Formal Software Specification Languages

[Henson, Martin C]

This summer school covers a variety of software specification languages and their logics and will variously cover topics of interest to the TYPES community, including among others: typechecking and inference; subtyping; dependent types; category theory; abstract data types; type systems for object-oriented specification and programming.


CALL FOR PARTICIPATION
-----------------------------------------

PhD Summer School
-------------------------------

Logics of Formal Software Specification Languages 
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Congress Centre "Academia", Stara Lesna.
The High Tatras, Slovakia
June 6-19, 2004

http://cswww.essex.ac.uk/staff/henson/sssl

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

PROGRAMME
----------------------
The scientific programme of consists of lecture courses by renowned 
experts in the field specification languages and their logical 
foundation. The school offers nine main courses, each focussing on one 
major specification language and its logic, and relates to two special 
issues of the journal "Computing and Informatics": 
Volume 22, 2003, No. 3 and Volume 22, 2003, No. 4

Each of the nine lecture series will feature five 70 minute lectures. 
The full programme, and the tutors, are as follows:

1. "The Expressive Power of Abstract-State Machines", Wolfgang Reisig,
    Humboldt-Universitaet zu Berlin, Germany

2. "Foundations of the B method", Dominique Mery, Université Henri
    Poincaré, France

3. "CafeOBJ: Logical Foundations and Methodologies", Razvan Diaconescu,
    Institute of Mathematics of the Romanian Academy, Romania

4. "CASL - The Common Algebraic Specification Language: language,
    semantics, proof calculus, tools", Till Mossakowski, University of
    Bremen, Germany

5. "Duration Calculus: A formal approach to real-time systems", Michael
    R. Hansen, Technical University of Denmark, Denmark

6. "The Logic of the RAISE Specification Language", Chris George, United
    Nations University, Macau

7. "Specifying Systems in TLA+", Stephan Merz, INRIA Lorraine, France

8. "VDM in theory and practice", John Fitzgerald, University of
    Newcastle, United Kingdom

9. "Z logic: applications and consequences", Steve Reeves, University of
    Waikato, New Zealand

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

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.

APPLICATIONS
------------------------
Information concerning applications is available from the web page: 
http://cswww.essex.ac.uk/staff/henson/sssl

Application form: 
http://cswww.essex.ac.uk/staff/henson/sssl/lfsl04.doc
http://cswww.essex.ac.uk/staff/henson/sssl/lfsl04.txt

ENQUIRIES
------------------
Dusan Guller: guller at fmph.uniba.sk

REGISTRATION AND FEES
-----------------------------------------
Euro 1,000 inclusive. This is 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.

ORGANISING COMMITTEE
-----------------------------------------
Prof Dines Bjørner General Chair, Technical University of Denmark 
Prof Martin Henson School Director, University of Essex, UK 
Prof Branislav Rovan School Co-Director, Comenius University, SK 
Dr Dusan Guller School Logistics 
Mr Martin Penicka Administration

FURTHER INFORMATION
--------------------------------------
Please see the web pages http://cswww.essex.ac.uk/staff/henson/sssl