9.00 | - | 10.00: | | Invited talk: |
| | | | Samson Abramsky. |
| | | | "Definability and Semantic (Non)-Expressiveness" |
| | | | |
10.00 | - | 10.30: | | Maciej Gazda and Wan Fokkink |
| | | | "Modal Characterizations and the Approximation Induction Principle in Process Algebra" |
10.30 | - | 11.00: | | Coffee break |
| | | | |
11.00 | - | 11.30: | | Joshua Guttman |
| | | | "Security Theorems via Model Theory" |
11.30 | - | 12.00 | | Luca Aceto, Anna Ingolfsdottir and Joshua Sack |
| | | | "Characteristic Formulae for Fixed-Point Semantics: A General Framework" |
12.00 | - | 12.30 | | Edgar Daylight, Sandeep Shukla and Davide Sergio |
| | | | "Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic" |
| | | | |
12.30 | - | 14.00: | | Lunch |
| | | | |
14.00 | - | 15.00: | | Invited talk: |
| | | | Davide Sangiorgi |
| | | | "Termination in higher-order concurrent languages" |
| | | | |
15.00 | - | 15.30: | | Matteo Cimini, Claudio Sacerdoti Coen and Davide Sangiorgi |
| | | | "lambdabarmumutilde calculus, pi-calculus, and abstract machines" |
15.30 | - | 16.00: | | Coffee break |
| | | | |
16.00 | - | 16.30: | | Katrin Iltgen and Walter Vogler |
| | | | "Robustness of a bisimulation-type faster-than preorder" |
16.30 | - | 17.00: | | Tomáš Babiak, Vojtech Rehak and Jan Strejcek |
| | | | "Almost Linear Büchi Automata" |
17.00 | - | 18.00: | | Meeting of the Steering Committee |