November 5, 2009, Eindhoven, The Netherlands
| Time | Speaker | Title |
|---|---|---|
| 8:30 | Registration and coffee | |
| 8:50 | Opening | |
| 9:00 | Bert van Beek | The Compositional Interchange Format: concepts, formal basis, and applications |
| 9:45 | Holger Hermanns | Synchronous vs. Asynchronous Performance Models of Industrial Networks on Chip Designs |
| 10:30 | Coffee break | |
| 11:00 | Catuscia Palamidessi | Synchronization in the pi-calculus |
| 11:45 | Joost-Pieter Katoen | Analysis and Semantics of Extended AADL Models |
| 12:30 | Lunch | |
| 14:00 | The End | |