[TYPES/announce] GLOBAN 2006 Summer School

[terkel@imm.dtu.dk]

[
Several lectures are on types and related topics.
]

                      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 March  2006  Details of registration, participant fees and a grant scheme
                will be posted on webpage
 1 May    2006  Deadline for registration
21 August 2006  Summer school starts
25 August 2006  Summer school ends

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