Allegories: decidability and graph homomorphisms

Damien Pous and Valeria Vignudelli

Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics

Emmanuel Jeandel, Simon Perdrix and Renaud Vilmart

A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics

Emmanuel Jeandel, Simon Perdrix and Renaud Vilmart

Rational Synthesis Under Imperfect Information

Emmanuel Filiot, Raffaella Gentilini and Jean-Francois Raskin

A Simple and Optimal Complementation Algorithm for Büchi Automata

Joel Allred and Ulrich Ultes-Nitsche

What's in a game? A theory of game models

Clovis Eberhart and Tom Hirschowitz

The Geometry of Computation-Graph Abstraction

Koko Muroya, Wai-Tak Cheung and Dan Ghica

Impredicative Encodings of (Higher) Inductive Types

Steve Awodey, Jonas Frey and Sam Speight

On Higher Inductive Types in Cubical Type Theory

Thierry Coquand, Simon Huber and Anders Mörtberg

A Fixpoint Logic and Dependent Effects for Temporal Property Verification

Yoji Nanjo, Hiroshi Unno, Eric Koskinen and Tachio Terauchi

Rewriting with Frobenius

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski and Fabio Zanasi

Around Classical and Intuitionistic Linear Logics

Olivier Laurent

Logics for Word Transductions with Synthesis

Luc Dartois, Emmanuel Filiot and Nathan Lhote

An algebraic theory of Markov processes

Radu Mardare, Prakash Panangaden, Gordon Plotkin and Giorgio Bacci

One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata

Javier Esparza, Jan Kretinsky and Salomon Sickert

Riesz Modal Logic with Threshold Operators

Matteo Mio

A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP

Manuel Bodirsky, Florent Madelaine and Antoine Mottet

Ribbon tensorial logic

Paul-André Melliès

Guarded Computational Type Theory

Jonathan Sterling and Robert Harper

Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory

Andreas Nuyts and Dominique Devriese

Sound up-to techniques and Complete abstract domains

Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi and Dusko Pavlovic

ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency

Daniil Frumin, Robbert Krebbers and Lars Birkedal

Cellular Cohomology in Homotopy Type Theory

Ulrik Buchholtz and Kuen-Bang Hou Favonia

Two complete axiomatisations of pure-state qubit quantum computing

Amar Hadzihasanovic, Kang Feng Ng and Quanlong Wang

Eager Functions as Processes

Adrien Durier, Daniel Hirschkoff and Davide Sangiorgi

Differential Equation Axiomatization: The Impressive Power of Differential Ghosts

André Platzer and Yong Kiam Tan

The Syntax and Semantics of Quantitative Type Theory

Robert Atkey

Playing with Repetitions in Data Words Using Energy Games

Diego Figueira and M. Praveen

Sequential Relational Decomposition

Dror Fried, Axel Legay, Joel Ouaknine and Moshe Y Vardi

Causal Computational Complexity of Distributed Processes

Romain Demangeon and Nobuko Yoshida

Polynomial Invariants for Affine Programs

Ehud Hrushovski, Joel Ouaknine, Amaury Pouly and James Worrell

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

Tomas Brazdil, Krishnendu Chatterjee, Antonin Kucera, Petr Novotný, Dominik Velan and Florian Zuleger

Type-two polynomial-time and restricted lookahead.

Bruce Kapron and Florian Steinberg

Quasi-Open Bisimilarity with Mismatch is Intuitionistic

Ross Horne, Ki Yung Ahn, Shang-Wei Lin and Alwen Tiu

Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes

Jan Kretinsky and Tobias Meggendorfer

A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow

Brandon Bohrer and André Platzer

Higher Groups in Homotopy Type Theory

Ulrik Buchholtz, Floris van Doorn and Egbert Rijke

Concurrency and Probability: Removing Confusion, Compositionally

Roberto Bruni, Hernan Melgratti and Ugo Montanari

Classical realizability as a classifier for nondeterminism

Guillaume Geoffroy

The concurrent game semantics of Probabilistic PCF

Simon Castellan, Pierre Clairambault, Hugo Paquet and Glynn Winskel

A van Benthem Theorem for Fuzzy Modal Logic

Paul Wild, Lutz Schröder, Dirk Pattinson and Barbara König

A General Framework for Relational Parametricity

Kristina Sojakova and Patricia Johann

Black Ninjas in the Dark: Formal Analysis of Population Protocols

Javier Esparza

A theory of linear typings as flows on 3-valent graphs

Noam Zeilberger

Computable decision making on the reals and other spaces via partiality and nondeterminism

Benjamin Sherman, Luke Sciarappa, Adam Chlipala and Michael Carbin

Work Analysis with Resource-Aware Session Types

Ankush Das, Jan Hoffmann and Frank Pfenning

Free Higher Groups in Homotopy Type Theory

Nicolai Kraus and Thorsten Altenkirch

A sequent calculus with dependent types for classical arithmetic

Étienne Miquey