The logo of ICE-TCS is courtesy of Emilka Bojanczyk.

ICE-TCS Workshop on Structural Operational Semantics and the Equational Logic of Processes


28 April 2011, Reykjavik, Iceland

Room M3.10, Reykjavik University, Menntavegur 1

Organizers: Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingolfsdottir

9:20-9:30 Welcome
9:30-10:15 Wan Fokkink (VU Amsterdam, NL)
Why Modal Characterizations of Process Semantics Totally Rock
10:15-10:30 Coffee break
10:30-11:15 Bas Luttik (TU Eindhoven, NL)
Regular Expressions with Parallel Composition modulo Bisimilarity
11:15-12:00 Matteo Cimini (RU Reykjavik, IS)
A Rule Format for Distributivity
12:00-13:30 Lunch break
13:30-14:15 Michel Reniers (TU Eindhoven, NL)
The Virtue of Symbolic SOS
14:15-14:45 Coffee break
14:45-15:30 MohammadReza Mousavi (TU Eindhoven, NL)
Buy Three, Get One Free! SOS, Axiomatization, and Algebraic Properties On Sale
15:30-16:15 Georgiana Caltais, Eugen-Ioan Goriac (RU Reykjavik, IS)
Axiomatizing GSOS with Predicates [pdf1] [pdf2] [tool]

The workshop is partly supported by:

Please send comments and bug reports to Eugen-Ioan Goriac.