The school was organised by Institute of Informatics, University of Warsaw, in association with the SENSORIA and MOBIUS projects of the 6th Framework Programme. GLOBAN 2008 summer school took place in Warsaw, Poland on 22-26 September, 2008. Organizers SENSORIA & MOBIUS projects, UWARSAW (Andrzej Tarlecki & team) Steering Committee G. Barthe, F. Nielson, I. Stark, A. Tarlecki, M. Wirsing Programme - Rocco De Nicola: Session Centered Calculi for Service Oriented Computing
- Andrew D. Gordon: Declarative Data Centers
- Reiko Heckel: Foundations of Model Transformations
- Martin Hofmann: Type-based Verification in Global Computing
- Joost-Pieter Katoen: Performance Analysis and Model Checking
- Joseph Kiniry: Verification-centric Software Engineering
- Flemming Nielson: Static Analysis of Services
- Andrei Sabelfeld: Information-flow Security
Project presentations - Gilles Barthe: MOBIUS
- Martin Wirsing: SENSORIA
Course material (abstracts and slides) Further information ...
|