Program
Global Schedule
| Mo Sep 5 |
Tue Sep 6 |
Wed Sep 7 |
Thu Sep 8 |
Fr Sep 9 |
Sa Sep 10 |
| QEST Tutorials | QEST | QEST | QEST | TGC | TGC |
| CONCUR | CONCUR | CONCUR | CONCUR | GASICS | |
| EXPRESS | COMPMOD |
||||
| SOS | LAM | ||||
| MLQA | FOCLASA | ||||
| SECCO | YR-CONCUR | ||||
| Reception | Excursion & Banquet |
Monday, September 5: QEST Tutorials, EXPRESS/SOS, MLQA/SECCO
EXPRESS Super C, 129 & 130 |
SOS Kármán-Auditorium, SFo9 |
| 09:00 – 10:00 | |
| Session E1/SO1: Invited Talk Super C, 129 & 130 |
|
| Wan Fokkink Why Modal Characterizations of Process Semantics Totally Rock |
|
| 10:00 – 10:30 | |
| Session E2 | Session SO2 |
| Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir and Miguel Palomino Graphical Representation of Covariant-Contravariant Modal Formulas |
David Romero Hernández and David de Frutos-Escrig On the Unification of Process Semantics: Logical Semantics |
| 10:30 – 11:00 Coffee Break | |
| 11:00 – 12:30 | |
| Session E3 | Session SO3 |
| Kirstin Peters, Jens-Wolfhard Schicke and Uwe Nestmann Synchrony vs Causality in the Asynchronous Pi-Calculus |
Asiri Rathnayake and Hayo Thielecke Regular Expression Matching and Operational Semantics |
| Jens-Wolfhard Schicke, Kirstin Peters and Ursula Goltz Synchrony vs. Causality in Asynchronous Petri Nets |
Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac and Anna Ingólfsdóttir Axiomatizing GSOS with Predicates |
| Flavio Corradini, Maria Rita Di Berardini and Walter Vogler Read Operators and their Expressiveness in Process Algebras |
Ken Madlener, Sjaak Smetsers and Marko van Eekelen Formal Component-Based Semantics |
| 12:30 – 14:00 Lunch Break | |
| 14:00 – 15:30 | |
| Session E4: Invited Talk | |
| Björn Victor Applied Process Calculi Made Easy as Pi |
|
| Session E5 | |
| Ioana Cristescu and Daniel Hirschkoff Termination in a Pi-calculus with Subtyping |
|
| 15:30 – 16:00 Coffee Break | |
| 16:00 – 17:00 | |
| Session E6 | |
| 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 | |
| Session E7 | |
| 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 |
|
