| Time | Author(s) | Title |
|---|---|---|
| 9.15 | Irek/Luca/Wan | Welcome |
| Session 1 | Chair: TBA | |
| 9.30 | Andrew Pitts | Equivariant and Nominal SOS (invited talk) |
| 10.30 | Coffee | |
| Session 2 | Chair: TBA | |
| 11.00 | David Sands | Representing and Manipulating Contexts: a Tool for Operational Reasoning (tutorial) |
| 12.00 | Matthias Mann | Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus |
| 12.30 | Bartek Klin | Congruence Formats from Bialgebraic Semantics |
| 13.00 | Lunch | |
| Session 3 | Chair: TBA | |
| 14.30 | Rob van Glabbeek | The Meaning of Negative Premises: Part II (tutorial) |
| 15.30 | Olivier Tardieu | A Deterministic Logical Semantics for Esterel |
| 16.00 | Coffee | |
| Session 4 | Chair: TBA | |
| 16.30 | Peter Mosses | Modular Structural Operational Semantics |
| 17.00 | Marija Kulas | Toward the Concept of Backtracking Computation |
| 17.30 | Ralf Laemmel | Evolution Scenarios for Language-based Functionality |
| 18.00 | Closing | |