On this page:

• Link to Web Page
• Invited Speakers
• Presented Papers
• Organizers

Invited Speakers

• Anuj Dawar
  Notions of Width: Variables, Pebbles and Supports
• Rustan Leino
  Tutorial: Tools for software verification: an industrial perspective
• Christine Tasson
  Tutorial: Linear Logic and probabilistic programming
• Hongseok Yang
  Introduction to Razborov's Flag Algebras: Logic-Based Computational Methods in Extremal Combinatorics

Presented Papers

Entries are ordered by surname of first author

• Antonis Achilleos Adrian Francalanza Jasmine Xuereb
  If At First You Don't Succeed: Extended Monitorability through Multiple ExecutionsMore Information...
• Sam Adam-Day Michael Benedikt Alberto Larrauri
  Convergence Laws for Extensions of First-Order Logic with AveragingMore Information...
• Pedro H. Azevedo de Amorim Satoshi Kura Philip Saville
  Logical relations for call-by-push-value models, via internal fibrations in a 2-categoryMore Information...
• Quentin Aristote Sam van Gool Daniela Petrisan Mahsa Shirmohammadi
  Learning Weighted Automata over Number Rings, Concretely and CategoricallyMore Information...
• Christel Baier Krishnendu Chatterjee Tobias Meggendorfer Jakob Piribauer
  Multiplicative Rewards in Markovian ModelsMore Information...
• A. R. Balasubramanian Dmitry Chistikov Rupak Majumdar
  Pushdown Model Checking above the Cubic Bottleneck [Distinguished Paper]More Information...
• Demian Banakh Lorenzo Ciardo Marcin Kozik Jan Tulowiecki
  Classical Simulation of Quantum CSP StrategiesMore Information...
• Max Bannach Erik D. Demaine Timothy Gomez Markus Hecher
  #P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?More Information...
• Victoria Barrett Alessio Guglielmi Benjamin Ralph Lutz Straßburger
  Proof Compression via Subatomic Logic and Guarded SubstitutionsMore Information...
• Gilles Barthe Minbo Gao Theo Wang Li Zhou
  Complete Quantum Relational Hoare Logics from Optimal Transport DualityMore Information...
• Thibaut Benjamin Ioannis Markakis Wilfred Offord Chiara Sarti Jamie Vicary
  Naturality for higher-dimensional path typesMore Information...
• Corentin Bodart Ruiwen Dong
  The Identity Problem in virtually solvable matrix groups over algebraic numbers [Distinguished Paper]More Information...
• Mikolaj Bojanczyk Pierre Ohlmann
  Graphs of unbounded linear cliquewidth must transduce all treesMore Information...
• Filippo Bonchi Elena Di Lavore Mario Román
  Effectful Mealy Machines: Bisimulation and Trace [Distinguished Paper]More Information...
• Timothy Bourke Paul Jeanmaire Marc Pouzet
  Functional Stream Semantics for a Synchronous Block-Diagram CompilerMore Information...
• Nathan J. Bowler Sergey Goncharov Paul Blain Levy
  Probabilistic Strategies: Definability and the Tensor Completeness ProblemMore Information...
• Marius Bozga Radu Iosif Florian Zuleger
  Regular Grammars for Sets of Graphs of Tree-Width 2More Information...
• Thomas Brihaye Krishnendu Chatterjee Stefanie Mohr Maximilian Weininger
  Risk-aware Markov Decision Processes Using Cumulative Prospect TheoryMore Information...
• Johanna Brunar Marcin Kozik Tomás Nagy Michael Pinsker
  The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problemsMore Information...
• Benedict Bunting Andrzej S. Murawski
  Reachability Types, Traces and Full AbstractionMore Information...
• Rutger Campbell Bruno Guillon Mamadou Moustapha Kanté Eun Jung Kim Sang-il Oum
  Recognisability Equals Definability for Finitely Representable Matroids of Bounded Path-WidthMore Information...
• Mishel Carelli Bernd Finkbeiner Julian Siber
  Closure and Complexity of Temporal CausalityMore Information...
• Anton Chernev Corina Cîrstea Helle Hvid Hansen Clemens Kupke
  Thin Coalgebraic Behaviours Are InductiveMore Information...
• Pierre Clairambault
  The Qualitative Collapse of Concurrent GamesMore Information...
• Lorenzo Clemente
  The commutativity problem for effective varieties of formal series, and applications [Distinguished Paper]More Information...
• Liron Cohen Ariel Grunfeld Dominik Kirst Étienne Miquey
  Syntactic Effectful Realizability in Higher-Order LogicMore Information...
• Anatole Dahan
  Group Order LogicMore Information...
• Jan Dreier Robert Ganian Thekla Hamm
  Approximate Evaluation of Quantitative Second Order QueriesMore Information...
• Thomas Ehrhard Farzad Jafarrahmani Alexis Saurin
  On the denotation of circular and non-wellfounded proofs in linear logic with fixed pointsMore Information...
• Marcelo Fiore Sanjiv Ranchod
  Substructural Abstract Syntax with Variable Binding and Single-Variable SubstitutionMore Information...
• Jonas Forster Lutz Schröder Paul Wild
  Conformance Games for Graded SemanticsMore Information...
• Florian Frank Daniel Hausmann Stefan Milius Lutz Schröder Henning Urbat
  Alternating Nominal Automata with Name AllocationMore Information...
• Jakub Gajarský Michal Pilipczuk Filip Pokrývka
  3D-grids are not transducible from planar graphsMore Information...
• Sergey Goncharov Dirk Hofmann Pedro Nora Lutz Schröder Paul Wild
  Relators and Notions of Simulation RevisitedMore Information...
• Daniel Gratzer Jonathan Weinberger Ulrik Buchholtz
  The Yoneda embedding in simplicial type theory [Distinguished Paper]More Information...
• Marta Grobelna Jan Kretínský Maximilian Weininger
  Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety GamesMore Information...
• Jim de Groot Ian Shillito Ranald Clouston
  Semantical Analysis of Intuitionistic Modal Logics between CK and IKMore Information...
• Roland Guttenberg Wojciech Czerwinski Slawomir Lasota
  Reachability and Related Problems in Vector Addition Systems with Nested Zero TestsMore Information...
• Petr Hlinenský Jan Jedelský
  Transductions of Graph Classes Admitting Product StructureMore Information...
• Mirai Ikebuchi
  Homological Invariants of Higher-Order Equational TheoriesMore Information...
• Tom de Jong Nicolai Kraus Fredrik Nordvall Forsberg Chuangjie Xu
  Ordinal Exponentiation in Homotopy Type Theory [Distinguished Paper]More Information...
• Toghrul Karimov Edon Kelmendi Joël Ouaknine James Worrell
  Multiple Reachability in Linear Dynamical SystemsMore Information...
• Dominik Kirst Haoyi Zeng
  The Blurred Drinker Paradox: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem [Distinguished Paper]More Information...
• Johannes Kloibhofer Yde Venema
  Interpolation for the two-way modal µ-calculusMore Information...
• Mayuko Kori Kazuki Watanabe Jurriaan Rot
  Initial Algebra Correspondence under Reachability ConditionsMore Information...
• Louwe Kuijer Tony Tan Frank Wolter Michael Zakharyaschev
  Separation and Definability in Fragments of Two-Variable First-Order Logic with CountingMore Information...
• Bert Lindenhovius Vladimir Zamdzhiev
  Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum TheoryMore Information...
• Axel Ljungström David Wärn
  The Steenrod squares via unordered joins [Distinguished Paper] [Kleene Award]More Information...
• Christof Löding Igor Walukiewicz
  Minimal History-Deterministic Co-Büchi Automata: Congruences and Passive Learning [Distinguished Paper]More Information...
• Paolo Marimon Michael Pinsker
  Binary symmetries of tractable non-rigid structuresMore Information...
• Prince Mathew Vincent Penelle A. V. Sreejith
  Learning Deterministic One-Counter Automata in Polynomial TimeMore Information...
• Qiaolan Meng Juhua Pu Hongting Niu Yuyi Wang Yuanhong Wang Ondrej Kuzelka
  Model Enumeration of Two-Variable Logic with Quadratic Delay ComplexityMore Information...
• Antoine Mottet
  Algebraic and algorithmic synergies between promise and infinite-domain CSPsMore Information...
• Thomas Place Marc Zeitoun
  Navigational hierarchies of regular languagesMore Information...
• Andrei Popescu
  Completing Gordon's Higher-Order LogicMore Information...
• Wojciech Przybyszewski Szymon Toruńczyk
  Flipping and ForkingMore Information...
• Leoni Pugh Jonathan Sterling
  When is the partial map classifier a Sierpinski cone?More Information...
• Yousef Shakiba Henry Sinclair-Banks Georg Zetzsche
  A Complexity Dichotomy for Semilinear Target Sets in Automata with One CounterMore Information...
• Andrew Slattery Jonathan Sterling
  Hofmann-Streicher lifting of fibred categories [Distinguished Paper]More Information...
• Mikhail R. Starchak
  Quantifier Elimination for Regular Integer Linear-Exponential ProgrammingMore Information...
• Dario Stein
  Random Variables, Conditional Independence and Categories of Abstract Sample SpacesMore Information...
• Sam M. Thompson Nicole Schweikardt Dominik D. Freydenberger
  Characterization and Decidability of FC-Definable Regular Languages [Distinguished Paper]More Information...
• Aleksei Tiurin Chris Barrett Dan R. Ghica Nick Hu
  Equivalence Hypergraphs: DPO Rewriting for Monoidal E-GraphsMore Information...
• Aymeric Walch
  Compositional Taylor expansion in cartesian differential categoriesMore Information...
• Niels van der Weide
  The internal languages of univalent categoriesMore Information...
• Paul Wild Lutz Schröder
  Behavioural Conformances based on Lax CouplingsMore Information...

Organizers

General Chair Igor Walukiewicz LaBRI, University of Bordeaux Program Chair Lars Birkedal Aarhus University Barbara König University of Duisburg-Essen Conference Chair Frank Stephan National University of Singapore Luke Ong Nanyang Technological University Publicity Chair Sam Staton University of Oxford Workshops Chair Valentin Blot Inria and ENS Paris-Saclay

Program Committee: Amal Ahmed (Northeastern University); Thorsten Altenkirch (University of Nottingham); Parosh Aziz Abdulla (Uppsala University); Giorgio Bacci (Aalborg University); Christel Baier (TU Dresden); Stephanie Balzer (Carnegie Mellon University); Mikolaj Bojanczyk (University of Warsaw); Filippo Bonchi (University of Pisa); Patricia Bouyer (CNRS); Luis Caires (Técnico Lisboa and INESC-ID); Hubie Chen (King's College London); Agata Ciabattoni (TU Wien); Thomas Ehrhard (Université Paris Cité, CNRS, Inria); Diego Figueira (CNRS & LaBRI, Université Bordeaux); Wan Fokkink (Vrije Universiteit Amsterdam); Daniel Gratzer (Aarhus University); Chris Heunen (University of Edinburgh); Guilhem Jaber (Nantes Université); Patricia Johann (Appalachian State University); Robbert Krebbers (Radboud University Nijmegen); Stephan Kreutzer (TU Berlin); James Laird (University of Bath); Stefan Milius (FAU Erlangen-Nürnberg); Alexandre Miquel (Universidad de la República, Montevideo); Rasmus Ejlers Møgelberg (IT University of Copenhagen); Anders Mörtberg (Stockholm University); Gopalan Nadathur (University of Minnesota); Frank Pfenning (Carnegie Mellon University); André Platzer (Karlsruhe Institute of Technology); Jakob Rehof (TU Dortmund); Ana Sokolova (University of Salzburg); Kristina Sojakova (Inria); Sam Staton (University of Oxford); Nicolas Tabareau (Inria); Joseph Tassarotti (New York University); Takeshi Tsukada (Chiba University); Nikos Tzevelekos (Queen Mary University of London)