Program

    Program

    Here is the program. CONCUR runs August 23-26. Talks are 30 minutes (including questions). 

    Day 1: August 23rd

    9:30-10:30  Invited talk  Vincent Danos. Bayesian Inversion by Omega-Complete Cone Duality.

    10:30 Break

    11:00 - 12:30 Shared Memory

    • Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani and Tuan Phong Ngo. The Benefits of Duality in Verifying Concurrent Programs under TSO
    • Andreas Haas, Thomas Henzinger, Andreas Holzer, Christoph Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova and Helmut Veith. Local Linearizability for Concurrent Container-Type Data Structures
    • Giovanni Bernardi and Alexey Gotsman. Robustness against consistency models with atomic visibility


    12:30 - 14:00 Lunch

    14:00 - 16:00 Verification

    • Romain Brenguier. Optimal Assumptions for Synthesis
    • Shaull Almagor, Orna Kupferman and Yaron Velner. Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis
    • Tomas Brazdil, Vojtech Forejt, Antonin Kucera and Petr Novotný. Stability in Graphs and Games
    • Quentin Hautem, Véronique Bruyère and Jean-Francois Raskin. On the complexity of heterogeneous multidimensional quantitative games


    16:00 Break

    16:30 - 18:30 Algorithms and Complexity

    • Javier Esparza, Denis Kuperberg, Anca Muscholl and Igor Walukiewicz. Soundness in negotiations
    • Bernd Finkbeiner and Christopher Hahn. Deciding Hyperproperties
    • Marvin Triebel and Jan Sürmeli. Homogeneous Equations of Algebraic Petri Nets
    • Uli Schlachter. Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable

     

    19:00 Welcoming reception, at Observatoire de la capitale. It is a 5 min. walk from the conference.


    DAY 2: August 24th

    9:00 - 10:00 Invited talk Scott Smolka (joint with QEST and FORMATS) V-Formation as Optimal Control

    10:00 Break

    10:30 - 12:30 Distributed systems

    • Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth and Corentin Travers. Decentralized Asynchronous Crash-Resilient Runtime Verification
    • Loig Jezequel and Didier Lime. Lazy Reachability Analysis in Distributed Systems
    • Roly Perera, Deepak Garg and James Cheney. Causally consistent dynamic slicing
    • Christina Rickmann, Christoph Wagner, Uwe Nestmann and Stefan Schmid. Topological Self-Stabilization with Name-Passing Process Calculi


    12:30 - 14:00 Lunch

    15:30 - 21:00 Excursion and dinner at Hôtel Musée Premières Nations, Wendake. Buses will pick us up in front of the conference site.

     

    DAY3: August 25th

    9:30 - 10:30 Invited talk Marc Shapiro. Consistency in 3D.

    10:30 Break


    11:00 - 12:30 Distances for probabilistic systems

    • Przemyslaw Daca, Thomas Henzinger, Jan Kretinsky and Tatjana Petrov. Linear Distances between Markov Chains
    • Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen and Radu Mardare. Complete Axiomatization of the Bisimilarity Distance on Markov Chains
    • Qiyi Tang and Franck van Breugel. Computing Probabilistic Bisimilarity Distances via Policy Iteration


    12:30 - 14:00 Lunch

    14:00 - 16:00 Categories

    • Fredrik Dahlqvist, Vincent Danos and Ilias Garnier. Robustly parameterised higher-order probabilistic models
    • Jérémy Dubut, Eric Goubault and Jean Goubault-Larrecq. Bisimulations and unfolding in $\mathcal{P}$-accessible categorical models
    • Tomasz Brengos and Marco Peressotti. A uniform framework for timed automata
    • Natsuki Urabe, Shunsuke Shimizu and Ichiro Hasuo. Coalgebraic Trace Semantics for B\"{u}chi and Parity Automata


    16:00 Break


    16:30 - 18:30 Timed and Parameterized Systems

    • S. Akshay, Paul Gastin and Krishna S.. Analyzing Timed Systems Using Tree Automata
    • Antonia Lechner, Richard Mayr, Joel Ouaknine, Amaury Pouly and James Worrell. Model Checking Flat Freeze LTL on One-Counter Automata
    • Igor Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze and Joseph Sifakis. Parameterized Systems in BIP: Design and Model Checking
    • Amélie David, Francois Laroussinie and Nicolas Markey. On the expressiveness of QCTL

     


    DAY 4: August 26th

    9:00 - 10:00  Invited talk  Francesca Rossi Ethical Preference-Based Decision Support System
    (this was modified late so it is not on the printed program, it is on the pdf version, note the starting time)

    10:00 Break


    10:30 - 12:30 Logic

    • Ross Horne, Alwen Tiu, Bogdan Aman and Gabriel Ciobanu. Private Names in Non-Commutative Logic
    • Pierre Clairambault and Simon Castellan. Causality vs. interleavings in concurrent game semantics
    • Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schuermann and Philip Wadler. Coherence Generalises Duality: a logical explanation of multiparty session types
    • Daniel Hausmann, Lutz Schröder and Christoph Egger. Global Caching for the Alternation-free Coalgebraic mu-Calculus

     

    12:30 - 14:00 Lunch


    14:00 - 15:30 Probability

    • Konstantinos Chatzikokolakis, Catuscia Palamidessi and Valeria Vignudelli. Up-to techniques for generalized bisimulation metrics
    • Valentina Castiglioni, Daniel Gebler and Simone Tini. Modal decomposition on nondeterministic probabilistic processes
    • Nathalie Bertrand, Serge Haddad and Engel Lefaucheux. Diagnosis in Infinite-State Probabilistic Systems


     15:30 Closing and Coffee Break