9.00 | - | 10.00: | | Invited talk: Glynn Winskel |
| | | | Event Structures --- Maps, Monads and Spans |
10.00 | - | 10.30: | | COFFEE BREAK |
| | | | |
10.30 | - | 12.30: | | Morning Session |
| | | | |
| | | | Sibylle Fröschle, Sławomir Lasota |
| | | | Causality Versus True-Concurrency |
| | | | Maribel Fernández, Ian Mackie, François-Régis Sinot |
| | | | Interaction Nets vs. the ρ-Calculus: Introducing Bigraphical Nets |
| | | | Roberto Amadio, Frédéric Dabrowski |
| | | | Feasible Reactivity for Synchronous Cooperative Threads |
| | | | Johannes Borgström |
| | | | Static Equivalence is Harder than Knowledge |
12.30 | - | 14.00: | | LUNCH |
| | | | |
14.00 | - | 15.00: | | Invited talk: Tom Henzinger |
| | | | Processes as Games |
15.00 | - | 15.30: | | Afternoon Session |
| | | | |
| | | | Nathalie Bertrand, Phillippe Schnoebelen |
| | | | A Short Visit to the STS Hierarchy |
15.30 | - | 16.00: | | COFFEE BREAK |
| | | | |
16.00 | - | 18.00: | | Afternoon Session |
| | | | |
| | | | Petr Jančar, Martin Kot, Zdeněk Sawa |
| | | | Notes on Complexity of Bisimilarity between BPA and BPP |
| | | | Raymond Devillers, Hanna Klaudel, Maciej Koutny |
| | | | A Petri Net Semantics of a Simple Process Algebra for Mobility |
| | | | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi |
| | | | Separation of Synchronous and Asynchronous Communication via Testing |
| | | | Sébastien Briais, Uwe Nestmann |
| | | | Open Bisimulation, Revisited |