[TYPES/announce] GLOBAN 2006 Summer School **Updated information**

[Terkel K. Tolstrup]

[Several lectures are on types and related topics.
Apologies for multiple copies.]


                               GLOBAN 2006

         The Global Computing Approach to Analysis of Systems
         International Summer School at DTU, August 21-25, 2006

                       http://www.imm.dtu.dk/globan


The one-week GLOBAN summer school will give doctoral students and other
young
researchers a comprehensive overview of contemporary techniques for analysis
and verification of models of global computing systems characterized by
concurrency, communication, heterogeneity and distribution.

The school is organised by IMM/DTU in association with the SENSORIA project.


LECTURERS

Process Algebras and Concurrent Systems 
Rocco De Nicola, University of Florence, Italy

Equality of processes: equivalences and proof techniques 
Davide Sangiorgi, University of Bologna, Italy

Flow Logics 
Flemming Nielson, Technical University of Denmark

Computing with relations using Horn clauses 
Helmut Seidl, Technical University of Munich, Germany

Type systems 
Vasco Vasconcelos, University of Lisbon, Portugal

Modal logics 
Luís Caires, New University of Lisbon, Portugal

Model checking 
Kim Guldstrand Larsen, University of Aalborg, Denmark

Stochastic modelling 
Stephen Gilmore, University of Edinburgh, Scotland

IMPORTANT DATES
 1 May    2006  Deadline for registration 
17 May    2006  Notification to accepted applicants. 
16 June   2006  Deadline for payment of registration fee 
21 August 2006  Summer school starts 
25 August 2006  Summer school ends

PARTICIPANT FEES
The participant fee will be 150 EUR. A grant scheme comprising grants for
travel and/or living expenses as well as fee waivers will be available.
See the website for details. 

VENUE
The school will be held at the DTU campus in Lyngby near Copenhagen,
Denmark.

ORGANIZERS
Hanne Riis Nielson 
Flemming Nielson 
Terkel K. Tolstrup 
Henning Makholm 
Eva Bing