| 9.00 | - | 10.00: | | Invited talk: |
| | | | Daniele Varacca |
| | | | "Causality in the pi-Calculus" |
| | | | |
|
| 10.00 | - | 10.30: | | Roberto Gorrieri and Christian Versari |
| | | | "A Process Calculus for Expressing Finite Place/Transition Petri Nets" |
| 10.30 | - | 11.00: | | Coffee break |
| | | | |
| 11.00 | - | 11.30: | | Diego Figueira, Slawomir Lasota and Piotr Hofman |
| | | |
"Relating Timed and Register Automata" |
| 11.30 | - | 12.00 | | Jos Baeten, Bas Luttik, Tim Muller and Paul van Tilburg
|
| | | |
"Expressiveness modulo Bisimilarity of Regular Expressions with
Parallel Composition"
|
| 12.00 | - | 12.30 | |
Peter Mosses, Mohammadreza Mousavi and Michel Reniers
|
| | | |
"Robustness of Equations Under Operational Extensions" |
| | | | |
| 12.30 | - | 14.00: | | Lunch |
| | | | |
| 14.00 | - | 15.00: | | Invited talk (joint with SOS): |
| | | | Catuscia Palamidessi |
| | | |
"Compositionality of Secure Information Flow"
|
| | | | |
| 15.00 | - | 15.30: | |
Gavin Lowe |
| | | |
"Models for CSP with Availability Information" |
| 15.30 | - | 16.00: | | Coffee break |
| | | | |
| 16.00 | - | 16.30: | |
Ugo Dal Lago, Simone Martini and Davide Sangiorgi
|
| | | |
"Light Logics and Higher Order Processes" |
| 16.30 | - | 17.00: | |
Andrea Cerone and Matthew Hennessy |
| | | |
"Process Behaviour: Formulae versus Tests" |
| 17.00 | - | 17.30: | |
Lasse Nielsen, Nobuko Yoshida and Kohei Honda
|
| | | |
"Multiparty Symmetric Sum Types"
|
| 17.30 | - | 18.00: | |
Federico Banti, Rosario Pugliese and Francesco Tiezzi
|
| | | |
"A Criterion for Separating Process Calculi"
|
| 18.00 | - | 18.30: | |
Kirstin Peters and Uwe Nestmann
|
| | | |
"Breaking Symmetries"
|
