Programme
| Opening - 9:25-9:30 |
|---|
| First Session - 9:30-10:30 |
|---|
| Interaction Centric Concurrency Farhad Arbab (invited speaker) |
| Coffee break - 10:30-11:00 |
|---|
| Second Session - 11:00-12:30 |
|---|
| A non-interleaving process calculus for multi-party synchronisation Pawel Sobocinski |
| Session Types at the Mirror Luca Padovani |
| Choreographies with Secure Boxes and Compromised Principals Marco Carbone and Joshua Guttman |
| Lunch break - 12:30-14:00 |
|---|
| Third Session - 14:00-15:30 |
|---|
| Nondeterminism, fixpoints and bisimulation Paul Blain Levy (joint invited speaker with SOS09) |
| Towards an embedding of Graph Transformation in Intuitionistic Linear Logic Paolo Torrini and Reiko Heckel |
| Coffee break - 15:30-16:00 |
|---|
| Fourth Session - 16:00-17:30 |
|---|
| Symbolic Implementation of Connectors in BIP Ananda Basu, Simon Bliudze and Mohamad Jaber |
| Integrated Structure and Semantics for Reo Connectors and Petri Nets Christian Krause |
| Coordination via Interaction Constraints Dave Clarke and Jose Proenca |
| Discussion and Closing - 17:30-18:00 |
|---|