SOS 2005 Workshop Final Programme

A Satellite Workshop of ICALP 2005

July 10, 2005, Lisbon, Portugal


Time Author(s) Title
9.00 Peter Mosses and Irek Ulidowski Welcome
Session 1 Chair: Irek Ulidowski
9.15 Jan Friso Groote, MohammadReza Mousavi and Michel A. Reniers A Hierarchy of SOS Rule Formats (invited talk)
10.15 Break
Session 2 Chair: Irek Ulidowski
10.45 Wan Fokkink, Rob van Glabbeek and Paulien de Wind Divide and Congruence Applied to eta-Bisimulation
11.15 Axelle Ziegler, Dale Miller and Catuscia Palamidessi A Congruence Format for Name-passing Calculi
11.45 Samuel Hym and Matthew Hennessy Adding Recursion to Dpi
12.15 Lunch
Session 3 Chair: Peter Mosses
13.45 Josť Meseguer and Grigore Rosu The Rewriting Logic Semantics Project (invited talk)
14.45 MohammadReza Mousavi and Michel A. Reniers Prototyping SOS Meta-theory in Maude
15.15 Break
Session 4 Chair: Jan Friso Groote
15.45 Oana Andrei, Gabriel Ciobanu and Dorel Lucanu Operational Semantics and Rewriting Logic in Membrane Computing
16.15 Harald Fecher, Marcel Kyas, Frank S. de Boer and Willem-Paul de Roever Compositional Operational Semantics of a UML-Kernel-Model Language
16.45 Ando Saabas and Tarmo Uustalu A Compositional Natural Semantics and Hoare Logic for Low-level Languages
17.15 Workshop Participants Future challenges for SOS
18.00 Closing

Back to SOS 2005 Webpage


Irek Ulidowski, Department of Computer Science, University of Leicester.