Meeting in Rome, Italy, 16 March 2013

This meeting was co-located with ETAPS 2013 in Rome. Registration is through the ETAPS page. Early registration ends on January 30th!

The meeting has started at 9h and has been located in room F of the conference building, the "Dipartimento di Scienze Odontostomatologiche e Maxillo-Facciali" of Sapienza, University of Rome. The builling has entrances at Via Caserta 6 and Viale Regina Margherita 287/A. See here how to reach it.

Talks

Sat, 16 March 2013

• 09:15 Coalgebraic bisimulation up-to by Marcello Bonsangue      abstract slides paper
• 09:45 Coalgebras and Generalized Regular Expressions by Stefan Milius      abstract slides paper
• 10:15 Coalgebraic Traces Revisited by Corina Cirstea      abstract slides
• 11:30 Model Checking Knowledge-based Programs by Alexander Knapp      abstract slides
• 12:00 Model-based Testing of Software Product Lines by Holger Schlingloff      abstract slides paper
• 14:00 Algorithmic games for full ground references by Andrzej Murawski      abstract slides
• 14:30 Satisfiability calculus: the semantic counterpart of a proof calculus in general logics by Carlos Gustavo Lopez Pombo      abstract slides paper
• 15:00 A causal view of non-interference by Paolo Baldan      abstract slides
• 16:00 Component models in typed linear algebra by Luis S. Barbosa      abstract slides
• 16:45 Component Interfaces with Contracts on Ports: Meta-Theory and Instantiation by Rolf Hennicker      abstract slides