Date and Time: Thursday, 9 December 2010, 15:45 - 16:45

Location: HG 6.96

Speaker: Matteo Cimini (Reykjavík University, Iceland)

Title: On some contributions to the meta-theory of Structural Operational Semantics

Abstract:

In this talk we shall present two recent contributions to the meta-theory of Structural Operational Semantics (SOS). In the first part, we propose rule formats guaranteeing that certain binary operators are (left) distributive w.r.t. a set of binary operators. In the second part, we will briefly survey Nominal SOS, a framework based on a nominal approach, which accomodates the notions of binders and freshness of variables as primitive explicit notions in SOS.