[ 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 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.
Description: To jest część listu podpisana cyfrowo