[TYPES/announce] GLOBAN 2008: Early registration open

[Aleksy Schubert]

===========================================================================
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

                    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 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

Grants:
-------

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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: To jest =?UTF-8?Q?cz=C4=99=C5=9B=C4=87?= listu
	podpisana cyfrowo
Url : http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20080417/a5088630/attachment.sig