| Authors | Title | Paper | Talk |
|---|
| Christel Baier, Clemens Dubslaff and Sascha Klueppelholz | Trade-Off Analysis Meets Probabilistic Model Checking |  | Jul 18 09:15 |
| Patrick Cousot and Radhia Cousot | Abstract Interpretation: Past, Present and Future | | Jul 15 16:30 |
| Jasmin Fisher | Understanding Biology through Logic | | Jul 14 14:30 |
| Assia Mahboubi | Computer-checked mathematics: a formal proof of the Odd Order theorem | | Jul 14 10:45 |
| Anuj Dawar | The Ackermann Award 2014 | | Jul 18 17:00 |
| Dexter Kozen | Citations for the Test-of-Time Award from 1994 | | Jul 18 16:30 |
| Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar and Patrick Totzke | Infinite-State Energy Games | | Jul 16 11:45 |
| Beniamino Accattoli and Ugo Dal Lago | Beta Reduction is Invariant, Indeed | | Jul 14 17:00 |
| Rajeev Alur, Adam Freilich and Mukund Raghothaman | Regular Combinators for String Transformations | | Jul 18 14:30 |
| Eugene Asarin, Michel Bockelet, Aldric Degorre, Cătălin Dima and Chunyan Mu | Asymptotic behaviour in temporal logic | | Jul 18 11:45 |
| Christel Baier, Joachim Klein, Sascha Klueppelholz and Sascha Wunderlich | Weight Monitoring with Linear Temporal Logic: Complexity and Decidability | | Jul 18 12:15 |
| Pablo Barceló and Pablo Muñoz | Graph Logics with Rational Relations: The Role of Word Combinatorics | | Jul 16 10:45 |
| Michael Benedikt, Balder Ten Cate and Michael Vanden Boom | Effective Interpolation and Preservation in Guarded Logics | | Jul 16 16:30 |
| Marco Bernardo, Davide Sangiorgi and Valeria Vignudelli | On the Discriminating Power of Passivation and Higher-Order Interaction | | Jul 18 11:15 |
| Paul Bilokon and Abbas Edalat | A domain-theoretic approach to Brownian motion and general continuous stochastic processes | | Jul 14 11:45 |
| Achim Blumensath, Thomas Colcombet, Denis Kuperberg, Paweł Parys and Michael Vanden Boom | Two-Way Cost Automata and Cost Logics over Infinite Trees | | Jul 15 14:30 |
| Christoph Dittmann, Stephan Kreutzer and Mikolaj Bojanczyk | Decomposition Theorems and Model-Checking for the Modal $\mu$-calculus | | Jul 15 14:30 |
| Benedikt Bollig | Logic for Communicating Automata with Parameterized Topology | | Jul 14 16:30 |
| Benedikt Bollig, Paul Gastin, Benjamin Monmege and Marc Zeitoun | Logical Characterization of Weighted Pebble Walking Automata | | Jul 15 15:00 |
| Filippo Bonchi, Daniela Petrisan, Damien Pous and Jurriaan Rot | Coinduction Up-To in a Fibrational Setting | | Jul 15 10:45 |
| Simone Bova, Robert Ganian and Stefan Szeider | Model Checking Existential Logic on Partially Ordered Sets | | Jul 16 11:15 |
| Tomas Brazdil, Stefan Kiefer, Antonin Kucera, Petr Novotný and Joost-Pieter Katoen | Zero-Reachability in Probabilistic Multi-Counter Automata | | Jul 15 10:45 |
| Romain Brenguier, Jean-Francois Raskin and Mathieu Sassolas | The Complexity of Admissibility in Omega-Regular Games | | Jul 17 15:00 |
| Flavien Breuvart | On the characterization of models of H* | | Jul 17 15:00 |
| James Brotherston, Carsten Fuhs, Nikos Gorogiannis and Juan Navarro Perez | A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates | | Jul 16 17:30 |
| Véronique Bruyère, Noémie Meunier and Jean-Francois Raskin | Secure Equilibria in Weighted Games | | Jul 15 11:45 |
| Facundo Carreiro, Alessandro Facchini, Yde Venema and Fabio Zanasi | Weak MSO: Automata and Expressiveness Modulo Bisimilarity | | Jul 16 12:15 |
| Simon Castellan, Pierre Clairambault and Glynn Winskel | Symmetry in Concurrent Games | | Jul 14 18:00 |
| Witold Charatonik, Emanuel Kieronski and Filip Mazowiecki | Decidability of Weak Logics with Deterministic Transitive Closure | | Jul 17 14:30 |
| Kaustuv Chaudhuri and Nicolas Guenot | Equality and Fixpoints in the Calculus of Structures | | Jul 16 17:30 |
| Hubie Chen | The Tractability Frontier of Graph-Like First-Order Query Sets | | Jul 16 15:30 |
| Hubie Chen and Moritz Mueller | One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries | | Jul 16 15:00 |
| Taolue Chen and Stefan Kiefer | On the Total Variation Distance of Labelled Markov Chains | | Jul 14 11:15 |
| Julien Cretin and Didier Rémy | System F with Coercion Constraints | | Jul 16 14:30 |
| Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo and Akira Yoshimizu | The Geometry of Synchronization | | Jul 18 11:15 |
| Anupam Das | On the Pigeonhole and Related Principles in Deep Inference and Monotone Systems | | Jul 14 17:30 |
| Stephane Demri and Morgan Deters | Expressive Completeness of Separation Logic With Two Variables and No Separating Conjunction | | Jul 16 17:00 |
| Thomas Ehrhard | A new correctness criterion for MLL proof nets | | Jul 18 11:45 |
| Joerg Endrullis and Dimitri Hendriks | On Periodically Iterated Morphisms | | Jul 18 15:00 |
| Diego Figueira and Leonid Libkin | Pattern Logics and Auxiliary Relations | | Jul 17 15:30 |
| Marcelo Fiore and Sam Staton | Substitution, jumps, and algebraic effects | | Jul 16 16:30 |
| Matt Fredrikson and Somesh Jha | Satisfiability Modulo Counting: A New Approach for Analyzing Privacy Properties | | Jul 16 12:15 |
| Georg Gottlob and Enrico Malizia | Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic | | Jul 15 15:30 |
| Niels Bjørn Bugge Grathwohl, Dexter Kozen and Konstantinos Mamouras | KAT + B! | | Jul 17 14:30 |
| Nicolas Guenot and Lutz Strassburger | Symmetric Normalisation for Intuitionistic Logic | | Jul 16 11:45 |
| Julian Gutierrez and Michael Wooldridge | Equilibria of Concurrent Games on Event Structures | | Jul 14 17:00 |
| Christoph Haase | Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy | | Jul 18 10:45 |
| Matthew Hague | Senescent Ground Tree Rewrite Systems | | Jul 15 11:15 |
| Frederik Harwath, Lucas Heimberg and Nicole Schweikardt | Preservation and decomposition theorems for bounded degree structures | | Jul 17 11:15 |
| Willem Heijltjes and Robin Houston | No proof nets for MLL with units: Proof equivalence in MLL is PSPACE-complete | | Jul 16 17:00 |
| Wei Chen and Martin Hofmann | Abstract Interpretation from Buchi Automata | | Jul 15 11:45 |
| Naohiko Hoshino, Koko Muroya and Ichiro Hasuo | Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects | | Jul 17 11:15 |
| Danko Ilik | Axioms and Decidability for Type Isomorphism in the Presence of Sums | | Jul 16 10:45 |
| Alan Jeffrey | Functional Reactive Types | | Jul 17 15:30 |
| Joost-Pieter Katoen, Lei Song and Lijun Zhang | Probably Safe or Live | | Jul 16 15:30 |
| Bakh Khoussainov | A quest for algorithmically random infinite structures | | Jul 14 10:45 |
| Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii and Michael Zakharyaschev | On the Succinctness of Query Rewriting over Shallow Ontologies | | Jul 17 11:45 |
| Bartek Klin, Sławomir Lasota, Joanna Ochremiak and Szymon Toruńczyk | Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity | | Jul 14 16:30 |
| Eric Koskinen and Tachio Terauchi | Local Temporal Reasoning | | Jul 15 15:30 |
| Stephan Kreutzer and Nicole Schweikardt | On Hanf-equivalence and the number of embeddings of small induced subgraphs | | Jul 16 14:30 |
| Ranko Lazić and Sylvain Schmitz | Non-Elementary Complexities for Branching VASS, MELL, and Extensions | | Jul 18 12:15 |
| Stephane Le Roux and Arno Pauly | Infinite sequential games with real-valued payoffs | | Jul 15 12:15 |
| Jerome Leroux, M. Praveen and Grégoire Sutre | Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems | | Jul 17 10:45 |
| Paul Blain Levy and Sam Staton | Transition systems over games | | Jul 17 10:45 |
| Hongjin Liang, Xinyu Feng and Zhong Shao | Compositional Verification of Termination-Preserving Refinement of Concurrent Programs | | Jul 14 17:30 |
| Daniel R. Licata and Eric Finster | Eilenberg-MacLane Spaces in Homotopy Type Theory | | Jul 18 15:30 |
| Katja Losemann and Wim Martens | MSO Queries on Trees: Enumerating Answers under Updates | | Jul 17 12:15 |
| Marcello Mamino | On the Computing Power of +, −, and × | | Jul 14 12:15 |
| Konstantinos Mamouras | On the Hoare Theory of Monadic Recursion Schemes | | Jul 17 12:15 |
| Guillaume Munch-Maccagnoni | Formulae-as-Types for an Involutive Negation | | Jul 18 15:00 |
| Rasmus Ejlers Møgelberg | A type theory for productive coprogramming via guarded recursion | | Jul 18 14:30 |
| Luca Padovani | Deadlock and lock freedom in the linear pi-calculus | | Jul 15 11:15 |
| Matthieu Perrinel | On Context Semantics for Interaction Nets | | Jul 18 10:45 |
| Grgur Petric Maretic, Mohammad Torabi Dashti and David Basin | Anchored LTL Separation | | Jul 16 15:00 |
| Thomas Place and Marc Zeitoun | Separating Regular Languages with First-Order Logic | | Jul 15 12:15 |
| Ian Pratt-Hartmann | Logics with Counting and Equivalence | | Jul 15 15:00 |
| Pierre-Marie Pédrot | A functional functional interpretation | | Jul 16 11:15 |
| Takeshi Tsukada and Luke Ong | Compositional Higher-Order Model Checking via Omega-Regular Games over Boehm Trees | | Jul 17 11:45 |
| Yaron Velner | Finite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff Objectives | | Jul 18 15:30 |
| Ryan Williams | Faster decision of first-order graph properties | | Jul 14 18:00 |