Friday, March 31
10:30	Conference opening
Performance Evaluation of Communication Based Systems I
Session chair: Günter Hommel (TU Berlin) 10:45 GSPN Models of Dual-Band GSM Networks Mario Ajmone Marsan, Micaela Meo (Politecnico Torino), Matteo Sereno (Universitá di Torino) 11:30 Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets Olaf Kluge (TU Berlin) 12:00 Safe System-Level Diagnosis for Selected Fault Models Matthias Werner (HU Berlin)
12:30		Lunch
Performance Evaluation of Communication Based Systems II
Session chair: Adam Wolisz (TU Berlin) 14:30 PicoRadio: An Ultra-Low Energy Wireless Sensor and Monitor Network Jan Rabaey (UC Berkeley) 15:15 Fault-Tolerance Mechanisms for a Parallel Programming System - A Responsiveness Perspective Holger Karl (TU Berlin)
15:30		Coffee
Foundations and Applications of Communication Based Systems I
Session chair: Hartmut Ehrig (TU Berlin) 16:00 Specifying, Analyzing and Programming Communication Systems in Maude José Meseguer (SRI International) 16:45 Run Time Modification of Algebraic High Level Nets and Algebraic Higher Order Nets using Folding and Unfolding Construction Kathrin Hoffmann (TU Berlin) 17:15 Compositional Specification of Distributed Systems by Distributed Graph Transformation Manuel Koch (Universitá di Roma)
Saturday, April 1
Foundations and Applications of Communication Based Systems II
Session chair: Armin Zimmermann (TU Berlin) 9:00 A Personal, Historical Perspective of Parallel Programming for High Performance Christian Lengauer, (University of Passau) 9:45 Towards Dynamic Shaping C. Barry Jay, Gabriele Keller (University of Technology, Sydney)
10:30		Coffee
Distributed Environments for Communication Based Systems I
Session chair: Miroslaw Malek (HU Berlin) 11:00 Efficient and Secure Information Sharing in Distributed, Collaborative Environments Partha Dasgupta (Arizona State University), Vijay Karamcheti, Zvi Kedem (New York University) 11:45 Atomic Broadcast in a Byzantine Model Assia Doudou (EPFL), Benoit Garbinato, (Linkvest, CH), Rachid Guerraoui (EPFL) 12:30 Automatic Distribution in Pangaea André Spiegel (FU Berlin)
13:00		Lunch
Distributed Environments for Communication Based Systems II
Session chair: Stefan Jähnichen (TU Berlin) 14:30 Multiphase Consensus Finding in Collaborative Problem Solving Markus Hannebauer (TU Berlin) 15:00 A Constraint Programming Framework for AI Planning Alexander Nareyek (TU Berlin)
15:30	Closing