GLOBAN 2006 - The Global Computing Approach to Analysis of Systems

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

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.

Programme

	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.

Lecturers

Rocco De Nicola, University of Florence, Italy
Process Algebras and Concurrent Systems (slides, assignment)
Davide Sangiorgi, University of Bologna, Italy
Equality of processes: equivalences and proof techniques (slides, assignment)
Flemming Nielson, Technical University of Denmark
Flow Logics (slides, assignment)
Helmut Seidl, Technical University of Munich, Germany
Computing with relations using Horn clauses (slides (1), slides (2), assignment)
Vasco Vasconcelos, University of Lisbon, Portugal
Type systems (slides, assignment)
Luís Caires, New University of Lisbon, Portugal
Modal process logics (slides, assignment)
Kim Guldstrand Larsen, University of Aalborg, Denmark
Model checking (slides (1a), slides (1b), slides (1c), slides (1d), slides (2a), slides (2b), slides (2c), assignment)
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.

Venue

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

Organizers

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