ICE-TCS Lectures Series - Matteo Cimini - On Rule Formats for Zero and Unit Elements


The next ICE-TCS  talk for this semester will be delivered on Friday, 23 April, by Matteo Cimini (Reykjavik University). The talk, which is entitled On Rule Formats for Zero and Unit Elements, will be held at 14:00 in room M1.05 at the new premises of Reykjavik University in Nauthólsvík.

In this talk, I will discuss a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. I will then apply the design approach underlying that proposal to reformulate a rule format for unit elements previously developed by Aceto, Ingolfsdottir, Mousavi and Reniers. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats.

The talk is based on joint work with Luca Aceto (RU), Anna Ingolfsdottir (RU), MohammadReza Mousavi (TU Eindhoven) and Michel Reniers (TU Eindhoven) that will be presented at the Twenty-Sixth Conference on the Mathematical Foundations of Programming Semantics, University of Ottawa, Thursday May 6 - Monday May 10, 2010.