Here is a tentative program. CONCUR runs August 23-26.
DAY1
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
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
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
Welcoming reception, to be determined.
DAY 2
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
Excursion and dinner at Hôtel Musée Premières Nations, Wendake.
DAY3
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
Categories
- Fredrik Dahlqvist, Vincent Danos and Ilias Garnier. Robustly parameterised higher-order probabilistic models
- Natsuki Urabe, Shunsuke Shimizu and Ichiro Hasuo. Coalgebraic Trace Semantics for B\"{u}chi and Parity Automata
- 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
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
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
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
