GLOBAN 2006 - The Global Computing Approach to Analysis of Systems

International Summer School at DTU, August 21-25, 2006

[Registration] - [accommodation]

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 and the ITMAN PhD school.

Download flyer in A4 or letter format.

Some pictures taken during the summer school are available here.


  Monday Tuesday Wednesday Thursday Friday
8.15 - 9.00 Registration  
9.00 - 10.30 Rocco De Nicola Davide Sangiorgi Vasco Vasconcelos Luís Caires Kim Guldstrand Larsen
10.30 - 11.00 Coffee
11.00 - 12.30 Davide Sangiorgi Rocco De Nicola Vasco Vasconcelos Luís Caires Stephen Gilmore
12.30 - 14.00 Lunch
14.00 - 15.30 Flemming Nielson Helmut Seidl

Social programme
Kim Guldstrand Larsen  
15.30 - 16.00 Coffee Coffee
16.00 - 17.30 Flemming Nielson          Helmut Seidl Stephen Gilmore
  Reception Student sessions Student sessions

Student sessions

In the student sessions we invite the participants to give 10 minutes presentations of their research projects.

Certificate of attendance

All registered students attending will receive a certificate of attendance indicating that the school is estimated at 3 ECTS.

Diploma from the summer school

Registered students may decide to solve one of the assignments offered by the course teachers. Upon acceptance of the solution by the course teacher the organiser will issue a diploma indicating that the student has passed a study effort to be accreddited 5 ECTS.

Solutions must be sent by email to the associated teacher and to globan@imm.dtu.dk no later than 1. November 2006. Notification of acceptance by 24. December 2006.


  1. Rocco De Nicola, University of Florence, Italy
    Process Algebras and Concurrent Systems (slides, assignment)
  2. Davide Sangiorgi, University of Bologna, Italy
    Equality of processes: equivalences and proof techniques (slides, assignment)
  3. Flemming Nielson, Technical University of Denmark
    Flow Logics (slides, assignment)
  4. Helmut Seidl, Technical University of Munich, Germany
    Computing with relations using Horn clauses (slides (1), slides (2), assignment)
  5. Vasco Vasconcelos, University of Lisbon, Portugal
    Type systems (slides, assignment)
  6. Luís Caires, New University of Lisbon, Portugal
    Modal process logics (slides, assignment)
  7. Kim Guldstrand Larsen, University of Aalborg, Denmark
    Model checking (slides (1a), slides (1b), slides (1c), slides (1d), slides (2a), slides (2b), slides (2c), assignment)
  8. Stephen Gilmore, University of Edinburgh, Scotland
    Stochastic modelling (slides, assignment)

Important dates

3 March 2006
Registration was opened.
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 - The summer school is over.
1 November 2006
Deadline for solutions to assignments.
24 December 2006
Notification of acceptance of solutions.

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.


The school will be held at the DTU campus in Lyngby near Copenhagen, Denmark. Getting to DTU and the lecture hall.


Email enquiries should be sent to globan@imm.dtu.dk

Contact: globan@imm.dtu.dk