| 9:20 | - | 9:30 | | Welcome |
| | | | |
| 9:30 | - | 10:30 | | Invited talk: Rob van Glabbeek |
| | | | On rule formats for weak semantics |
| | | | |
|
| 10:30 | - | 11:00 | | Coffee break |
| | | | |
| 11:00 | - | 11:30 | | Luca Aceto, Matteo Cimini, Anna Ingolfsdottir |
| | | | A bisimulation-based method for proving the validity of
equations in GSOS languages |
| | | | |
|
| 11:30 | - | 12:00 | | Magnus Johansson, Björn Victor, Joachim Parrow |
| | | | A fully abstract symbolic semantics for psi-calculi |
| | | | |
|
| 12:00 | - | 12:30 | | MohammadReza Mousavi |
| | | | Causality in the semantics of Esterel: revisited |
| | | | |
|
| 12:30 | - | 14:00 | | Lunch break |
| | | | |
| 14:00 | - | 15:00 | | Invited talk
(joint with ICE'09): Paul Blain Levy |
| | | | Nondeterminism, fixpoints and bisimulation |
| | | | |
|
| 15:00 | - | 15:30 | | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| | | | On barbs and labels in reactive systems |
| | | | |
|
| 15:30 | - | 16:00 | | Coffee break |
| | | | |
| 16:00 | - | 16:30 | | Iain Phillips, Irek Ulidowski |
| | | | Reverse bisimulations on stable configuration structures |
| | | | |
|
| 16:30 | - | 17:00 | | Gilles Dowek, César Muñoz, Camilo Rocha |
| | | | Rewriting logic semantics of a plan execution language |
| | | | |
|
| 17:00 | - | 17:30 | | Michel A. Reniers, Tim A.C. Willemse |
| | | | Analysis of Boolean equation systems through structure graphs |
| | | | |
|