[Om-announce] GLOBAN 2008 Summer School Announcement

[GLOBAN 2008 Summer School]

===========================================================================
We apologise if you have received multiple copies of this call for
participation.  Please circulate to colleagues who might be interested. 
===========================================================================
                         FIRST ANNOUNCEMENT

                             GLOBAN 2008
        "The Global Computing Approach to Analysis of Systems"
                    Warsaw, September 22-26, 2008

                    http://globan08.mimuw.edu.pl/


The GLOBAN 2008 summer school will give PhD students and other young
researchers a comprehensive overview of contemporary techniques for analysis
and verification of models for global computing systems and the mobile
software that realises them.

The school is organised by Institute of Informatics, Warsaw University, in
association with the MOBIUS and SENSORIA 6th Framework Programme projects.


Lectures:
---------
- Rocco De Nicola
  Session Centered Calculi for Service Oriented Computing
- Andrew D. Gordon
  Declarative Data Centres
- Reiko Heckel
  Foundations of Model Transformations: A Lambda Calculus for MDD?
- Martin Hofmann
  Type-based Verification in Global Computing
- Joost-Pieter Katoen
  Performance Analysis and Model Checking - A Perfect Match
- Joe Kiniry
  Verification-centric Software Engineering
- Flemming Nielson
  Static Analysis of Services
- Andrei Sabelfeld
  Information-flow Security


Project presentations by:
-------------------------

- Gilles Barthe
  Mobility, Ubiquity and Security: Proof-carrying Code for Java on Mobile
  Devices
- Martin Wirsing
  SENSORIA: Software Engineering for Service-Oriented Overlay Computers


Steering Committee:
-------------------

- Gilles Barthe
- Flemming Nielson
- Ian Stark
- Andrzej Tarlecki
- Martin Wirsing


Important dates:
----------------

Early registration deadline:                 May 15, 2008
Grant application deadline:                  May 15, 2008
Notification of early qualifying decisions:  May 26, 2008
Notification of grant decisions:             May 26, 2008
Registration deadline:                       July 3, 2008
Notification of qualifying decisions:        July 14, 2008
Summer school:                               September 22-26, 2008