SOS 2010 Workshop

Preliminary Programme (with links to the accepted papers)

August 30, 2010, Paris, France


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


Please send comments and bug reports to Luca Aceto.