Programme
Tuesday, August 31st
8:30 -- 9:00: Opening
9:00 -- 10:30 Chair Jos Baeten
- Invited talk: Vladimiro Sassone, Sardaouna Hamadou and Mu Yang. Trust in Anonymity Networks
- Laura Bocchi , Kohei Honda, Emilio Tuosto and Nobuko Yoshida. A Theory of Design-by-Contract for Distributed Multiparty Interaction
10:30 -- 11:00 coffee
11:00 -- 12:30 Chair Ugo Montanari
- Lutz Schröder and Yde Venema. Flat Coalgebraic Fixed Point Logic
- Cristian Prisacariu. Modal Logic over Higher Dimensional Automata
- Ming Fu, Yong Li, Xinyu Feng, Zhong Shao and Yu Zhang. Reasoning about Optimistic Concurrency Using a Program Logic for History
12:30 -- 14:00 Lunch
14:00 -- 15:30 Chair Luca Aceto
- Invited talk: Maurice Herlihy. Applications of Shellable Complexes to Distributed Computing
- Fides Aarts and Frits Vaandrager. Learning I/O Automata
15:30 -- 16:00 Coffee
16:00 -- 17:30 Chair Marc Zeitoun
- Antoine Durand-Gasselin and Peter Habermehl. On the use of non-deterministic automata for Presburger arithmetic
- Jochen Hoenicke, Roland Meyer and Ernst-Ruediger Olderog. Kleene, Rabin, and Scott are available
- Mohamed Faouzi Atig. From Multi to Single Stack Automata
19:00 RECEPTION
Wednesday, September 1st
9:00 -- 10:30 Chair Walter Vogler
- Invited talk: Anca Muscholl. Taming Distributed Asynchronous Systems
- Pawel Sobocinski. Representations of Petri net interactions.
10:30 -- 11:00 Coffee
11:00 -- 12:30 Chair Eike Best
- Richard Mayr and Lorenzo Clemente. Multipebble Simulations for Alternating Automata
- Stanislav Böhm, Stefan Göller and Petr Jancar. Bisimilarity of one-counter processes is PSPACE-complete
- Pavol Cerny, Thomas Henzinger and Arjun Radhakrishna. Simulation Distances
12:30 -- 14:00 Lunch
14:00 -- 16:00 (Milner session) Chair Matthew Hennessy
- Introduction: Jos Baeten
- Edsko de Vries, Vasileios Koutavas and Matthew Hennessy. Communicating Transactions
- Jean-Bernard Stefani, Claudio Mezzina and Ivan Lanese. Reversing higher-order Pi
- Paolo Baldan and Silvia Crafa. A Logic for True Concurrency
16:00 -- 16:30 coffee
16:30 -- 18:00 Chair Roberto Amadio
- Yuxi Fu. Theory by Process
- Pietro Di Gianantonio, Svetlana Jaksic and Marina Lenisa. Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus
- Romain Demangeon, Daniel Hirschkoff and Davide Sangiorgi. Termination in impure concurrent languages
Thursday, September 2nd:
9:00 -- 10:30 Chair Holger Hermanns
- Invited talk: Frank de Boer, Mohammad Mahdi Jaghoori and Einar Broch Johnsen. Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
- Tomas Brazdil, Vojtech Rehak, Jan Kretinsky, Jan Krcal and Antonin Kucera. Stochastic Real-Time Games with Qualitative Timed Automata Objectives
10:30 -- 11:00 Coffee
11:00 -- 12:30 Chair K. Narayan Kumar
- Patricia Bouyer, Romain Brenguier and Nicolas Markey. Nash Equilibria for Reachability Objectives in Multi-player Timed Games
- Krishnendu Chatterjee, Florian Horn and Christof Löding. Obliging Games
- R. Ramanujam and Sunil Easaw Simon. A communication based model for games of imperfect information
12:30 -- 14:00 Lunch
14:00 -- 15:30 Chair Catuscia Palamidessi
- Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Tamara Rezk. Session types for access and information flow control
- Luis Caires and Frank Pfenning. Session Types as Intuitionistic Linear Propositions
- Marco Giunti and Vasco Thudicum Vasconcelos. A linear account of session types in the pi calculus
15:30 -- 16:00 coffee
19:30 CONFERENCE DINNER in "Les salons de la Maison des Arts et Métiers", 9 bis avenue d'Iena, Paris.
Friday, September 3th:
9:00 -- 10:30 Chair Vladimiro Sassone
- Invited talk: Christian Eisentraut, Holger Hermanns and Lijun Zhang. Concurrency and Composition in a Stochastic World
- Pierre-Malo Deniélou and Nobuko Yoshida. Buffered Communication Analysis in Distributed Multiparty Sessions
10:30 -- 11:00 coffee
11:00 -- 12:30 Chair Stefan Schwoon
- Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas Henzinger and Philippe Rannou. Mean-Payoff Automaton Expressions
- Andrea Turrini and Roberto Segala. Conditional Automata: a Tool for Safe Removal of Negligible Events
- Ichiro Hasuo. Generic Forward and Backward Simulations II: Probabilistic Simulation
12:30 -- 14:00 Lunch
14:00 -- 15:30 Chair Mihaela Sighireanu
- Ahmed Rezine, Giorgio Delzanno, Parosh Abdulla, Yu-Fang Chen, Chih-Duo Hong and Frederic Haziza. Constrained Monotonic Abstraction: a CEGAR for Parameterized Verification
- Giorgio Delzanno , Arnaud Sangnier and Gianluigi Zavattaro. Parameterized Verification of Ad Hoc Networks
- Tim Willemse. Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations
15:30 -- 16:00 coffee
16:00 -- 17:30 Chair Ilaria Castellani
- Mario S. Alvim, Miguel E. Andres and Catuscia Palamidessi. Information Flow in Interactive Systems Document Actions
- Emmanuel Haucourt and Thibaut Balabonski. A Geometric Approach to the Problem of Unique Decomposition of Processes
- Dan Ghica and Mohamed Nabih Menaa. On the compositionality of round abstraction