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
Tuesday, September 6
Wednesday, September 7
Thursday, September 8
Friday, September 9
Saturday, September 10: TGC/GASICS, COMPMOD/LAM, FOCLASA/YR-CONCUR
TGC Super C, Ford-Saal |
GASICS Super C, Generali-Saal |
| 09:00 – 10:00 | |
| Session T4: Invited Talk |
Session G1: Invited Talk |
| Kohei Honda Asynchronous Distributed Monitoring for Multiparty Session Enforcement |
Hugo Gimbert Playing in the Dark |
| 10:00 – 10:30 Coffee Break | |
| 10:30 – 12:00 | |
| Session T5: Orchestration, Exception, Transaction |
Session G2 |
| Rocco De Nicola, Andrea Margheri and Francesco Tiezzi Orchestrating Tuple-based Languages |
Arnaud Carayol, Axel Haddad and Olivier Serre Imperfect Information Games and Emptiness of Tree Automata |
| Hernan Melgratti and Christian Roldan On Correlation Sets and Correlation Exceptions in ActiveBPEL |
Peter Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin and Pierre-Alain Reynier Solving Timed Games with Variable Observations: Proof of Concept |
| Dominic Duggan and Ye Wu Transactional Correctness for Secure Nested Transactions |
Wojciech Jamroga, Sjouke Mauw and Matthijs Melissen Imperfect Information in Fair Non-Repudiation Protocols |
| 12:00 – 14:00 Lunch Break | |
| 14:00 – 15:00 | |
| Session T6: Invited Talk |
Session G3: Invited Talk |
| Michele Bugliesi Resource Logics for Type-Based Authorization in Distributed Systems |
Marcin Jurdzinski What is the Search Complexity of Computing Optimal Strategies? |
| 15:00 – 16:00 | |
| Session T7: Contracts, Composition |
Session G4 |
| Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini and Ugo Montanari Constraints for Service Contracts |
Martin Lang Resource-Bounded Reachability on Pushdown Graphs |
| Liliana D'Errico and Michele Loreti Compositional Specification of Distributed Systems |
Anil Seth Multiplayer Pushdown Games |
| 16:00 – 16:30 Coffee Break | |
| 16:30 – 18:00 | |
| Session G5 | |
| |
Peter Bulychev, Alexandre David, Kim G. Larsen and Marius Mikucionis Computing Nash Equilibrium in Wireless Ad Hoc Networks Using Statistical Model Checking |
| |
Miroslav Klimos, Kim G. Larsen, Filip Stefanak and Jeppe Thaarup Finding Nash Equilibria in Priced Concurrent Games |
| |
Arnaud Da Costa, François Laroussinie and Nicolas Markey QCTL Model Checking |
