The school was organised by IMM/DTU in association with the SENSORIA project and the ITMAN PhD school and took place in Lyngby, Denmark from August 21 to August 25, 2006.

Programme

1. Rocco De Nicola: Process Algebras and Concurrent Systems (abstract, slides)
2. Davide Sangiorgi: Equality of processes: equivalences and proof techniques (abstract, slides)
3. Flemming Nielson: Flow Logics (abstract, slides)
4. Helmut Siedl: Computing with relations using Horn clauses (abstract, slides 1, slides 2)
5. Vasco Vasconcelos: Type systems (abstract, slides)
6. Luis Caires: Modal process logics (abstract, slides)
7. Kim Guldstrand Larsen: Model checking (abstract, slides 1a, slides 1b, slides 1c, slides 1d, slides 2a, slides 2b, slides 2c)
8. Stephen Gilmore: Stochastic modelling (abstract, slides)

Further information ...