9.00 |
- |
10.00: |
|
Joint Invited Talk with SOS 2011: |
|
|
|
|
Wan Fokkink |
|
|
|
|
"Why Modal Characterizations of Process Semantics Totally Rock" |
|
|
|
|
|
10.00 |
- |
10.30: |
|
Luca Aceto, Ignacio Fábregas, David Frutos Escrig, Anna Ingolfsdottir and Miguel Palomino |
|
|
|
|
"Graphical representation of
covariant-contravariant modal formulas" |
10.30 |
- |
11.00: |
|
Coffee break |
|
|
|
|
|
11.00 |
- |
12.30: |
|
Kirstin Peters, Jens-Wolfhard Schicke and Uwe Nestmann |
|
|
|
|
"Synchrony vs Causality in the Asynchronous Pi-Calculus" |
|
|
|
|
Jens-Wolfhard Schicke, Kirstin Peters and Ursula Goltz |
|
|
|
|
"Synchrony vs. Causality in Asynchronous Petri Nets" |
|
|
|
|
Flavio Corradini, Maria Rita Di Berardini and Walter Vogler |
|
|
|
|
"Read Operators and their Expressiveness in Process Algebras" |
|
|
|
|
|
12.30 |
- |
14.00: |
|
Lunch |
|
|
|
|
|
14.00 |
- |
15.00: |
|
Invited talk: |
|
|
|
|
Björn Victor |
|
|
|
|
"Applied process calculi made easy as pi" |
|
|
|
|
|
15.00 |
- |
15.30: |
|
Ioana Cristescu and Daniel Hirschkoff |
|
|
|
|
"Termination in a Pi-calculus with Subtyping" |
15.30 |
- |
16.00: |
|
Coffee break |
|
|
|
|
|
16.00 |
- |
17.00: |
|
Ugo Dal Lago and Paolo Di Giamberardino |
|
|
|
|
"Soft Session Types" |
|
|
|
|
Sara Capecchi, Ilaria Castellani and Mariangiola Dezani-Ciancaglini |
|
|
|
|
"Information flow safety in multiparty sessions" |
17:00 |
- |
18:00 |
|
Iain Phillips and Irek Ulidowski |
|
|
|
|
"A Logic with Reverse Modalities for History-preserving Bisimulations" |
|
|
|
|
Damian Nadales Agut and Michel Reniers |
|
|
|
|
"Linearization of CIF Through SOS" |
|
|
|
|