| 9.00 | - | 10.00: | | Express invited talk: Hagen Völzer |
| | | | When a system is fairly correct |
| | | | |
|
| 10.00 | - | 10.30: | | Morning Session |
| | | | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi |
| | | | Fair Pi |
| | | | |
| 10.30 | - | 11.00: | | COFFEE BREAK |
| | | | |
| 11.00 | - | 12.30: | | Morning Session |
| | | | |
| | | | Jos Baeten, Flavio Corradini, Clemens Grabmayer |
| | | | On the Star Height of Regular Expressions Under Bisimulation |
| | | | Xu Wang, Marta Kwiatkowska |
| | | | Compositional state space reduction using untangled actions |
| | | | Ahmed Bouajjani, Jan Strejček, Tayssir Touili |
| | | | On Symbolic Verification of Weakly Extended PAD |
| | | | |
| 12.30 | - | 14.30: | | LUNCH |
| | | | |
| 14.30 | - | 15.30: | | Joint Express-Infinity-SOS invited talk: Robin Milner |
| | | | Bigraphs, multi-local names and confluence |
| | | | |
| 15.30 | - | 16:00: | | Afternoon Session |
| | | | |
| | | | Vincent Danos, Jean Krivine, Pawel Sobocinski |
| | | | General reversibility |
| | | | |
| 16.00 | - | 16.30: | | COFFEE BREAK |
| | | | |
| 16.30 | - | 18.30: | | Afternoon Session |
| | | | |
| | | | Daniele Gorla |
| | | | Synchrony vs Asynchrony in Communication Primitives |
| | | | Lucy Saunders-Evans, Glynn Winskel |
| | | | Event Structure Spans for Non-deterministic Dataflow |
| | | | Luís Caires, Hugo Torres Vieira |
| | | | Extensionality of Spatial Observations in Distributed Systems |
| | | | Daniel Hirschkoff, Damien Pous |
| | | | On Closure under Substitution of Strong Bisimilarity |
