[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

We apologise if you have received multiple copies of this call for
participation.  Please circulate to colleagues who might be interested. 
                        EARLY REGISTRATION OPEN

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


The GLOBAN 2008 summer school will give PhD students and other young
researchers a comprehensive overview of contemporary techniques for
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,
association with the MOBIUS and SENSORIA 6th Framework Programme

- 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
- 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 29, 2008
Notification of grant decisions:             May 29, 2008
Registration deadline:                       July 3, 2008
Notification of qualifying decisions:        July 14, 2008
Summer school:                               September 22-26, 2008


A number of grants is offered to applying participants, to cover the
fees as well as a part of local and travel expenses (depending on the
funds available and the number of applications). Please apply.

Attachment: signature.asc
Description: To jest część listu podpisana cyfrowo

Reply via email to