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 | |