Sections
  • Home
  • This Global Sections Viewlet registered to qPloneSkinWhiteBlack

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
Document Actions