| 9:20 | - | 9:30 | | Welcome |
| | | | |
| 9:30 | - | 10:30 | | Invited talk: MohammadReza Mousavi |
| | | | How to cook a security-enabled semantics |
| | | | |
|
| 10:30 | - | 11:00 | | Coffee break |
| | | | |
| 11:00 | - | 11:30 | | Ignacio Fábregas, David de Frutos Escrig and Miguel Palomino |
| | | | Equational
Characterization of Covariant-Contravariant Simulation and Conformance
Simulation Semantics |
| | | | |
|
| 11:30 | - | 12:00 | | Maciej Gazda and Wan Fokkink |
| | | |
Congruence
from the Operator's Point of View: Compositionality Requirements on
Process Semantics
|
| | | | |
|
| 12:00 | - | 14:00 | | Lunch break |
| | | | |
| 14:00 | - | 15:00 | | Invited talk
(joint with EXPRESS'10): Catuscia Palamidessi |
| | | | Compositionality of Secure Information Flow |
| | | | |
|
| 15:00 | - | 15:30 | | Tobias Heindel |
| | | | Structural Decomposition of Reactions of Graph-Like Objects |
| | | | |
|
| 15:30 | - | 16:00 | | Coffee break |
| | | | |
| 16:00 | - | 16:30 | | Harsh
Beohar, Damian Nadales, Bert van Beek and Pieter Cuijpers |
| | | | Superstates in the compositional interchange format (CIF) |
| | | | |
|
| 16:30 | - | 17:00 | | Keiko Nakata and Tarmo Uustalu |
| | | | Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction |
| | | | |
|
| 17:00 | - | 17:10 | | Closing |
| | | | |
|