July 6, 2008, Reykjavik, Iceland
| Time | Speaker | Title |
|---|---|---|
| 8:30 | Registration | |
| 8:55 | Welcome | |
| 9:00 | Invited lecture: Vincent Danos | A stochastic calculus of binding - applications to the modelling of cellular signalling |
| 10:00 | Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink | MarCaSPiS: a Markovian extension of a calculus for services |
| 10:30 | Coffee break | |
| 11:00 | Muck van Weerdenburg | Automating soundness proofs |
| 11:30 | Gustavo A. Ospina, Baudouin Le Charlier | Formalisation of C language interfaces |
| 12:00 | Muck van Weerdenburg, Michel A. Reniers | Structural Operational Semantics with First-Order Logic |
| 12:30 | Lunch | |
| 14:00 | Invited lecture (joint with ICE'08): Joseph Sifakis | Component-based construction of heterogeneous real-time systems in BIP |
| 15:00 | Eike Best, Kerstin Strecker | Relational semantics revisited |
| 15:30 | Coffee Break | |
| 16:00 | Invited lecture: Dale Miller | Formalizing SOS specifications in logic |
| 17:00 | Peter D. Mosses, Mark J. New | Implicit propagation in Structural Operational Semantics |
| 17:30 | Discussion: Michel A. Reniers, MohammadReza Mousavi | Towards a textbook on Structural Operational Semantics |