| Time | Speaker | Title |
| 8:30 |
Registration |
| 8:54 |
Welcome |
| 9:00 | Invited lecture:
Pawel Sobocinski
|
A well-behaved LTS for the Pi-calculus
|
| 10:00 |
Traian Serbanuta, Grigore Rosu and Jose Meseguer
|
A Rewriting Logic Approach to Operational Semantics (extended abstract)
|
| 10:30 |
Patrick Cousot and Radhia Cousot
|
Bi-inductive Structural Semantics
|
| 11:00 |
Coffee break |
| 11:30 |
David Frutos Escrig and Carlos Gregorio Rodríguez
|
Simulations up-to and Canonical Preorders (extended abstract)
|
| 12:00 |
Harald Fecher and Heiko Schmidt
|
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
|
| 12:30 |
Astrid Kiehn
|
An operational semantics for shared messaging communication
|
| 13:00 |
Lunch |
| 14:30 |
Iain Phillips and Irek Ulidowski
|
Reversibility and models for concurrency
|
| 15:00 |
MohammadReza Mousavi and Michel Reniers
|
A Congruence Rule Format with Universal Quantification
|
| 15:30 |
Jesper Bengtson and Joachim Parrow
|
A completeness proof for bisimulation in the pi-calculus using Isabelle
|
| 16:00 |
Tea Break |
| 16:30 |
Opportunity to attend the invited talk of
Catuscia Palamidessi at
PAuL.
|
Information-hiding protocols as opaque channels
|