Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
SOS Workshop Programme
[go: Go Back, main page]

SOS Workshop Programme

Time Author(s) Title
9.15 Irek/Luca/Wan Welcome
Session 1 Chair: Luca Aceto
9.30 Andrew Pitts Equivariant and Nominal SOS (invited talk) [Slides for the Talk]
10.30 Coffee
Session 2 Chair: Andrew Pitts
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 (Paper) [Slides for the Talk]
12.30 Bartek Klin Congruence Formats from Bialgebraic Semantics (Paper)
13.00 Lunch
Session 3 Chair: Wan Fokkink
14.30 Rob van Glabbeek The Meaning of Negative Premises: Part II (tutorial)
15.30 Olivier Tardieu A Deterministic Logical Semantics for Esterel (Paper) [Slides for the Talk]
16.00 Coffee
Session 4 Chair: Irek Ulidowski
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 Rule-based Implementations of Language-based Functionality (Tutorial paper) [Slides for the Talk]
18.00 Closing