- Alexandra Silva. Preface
- Loris D'Antoni, Zachary Kincaid and Fang Wang. A Symbolic Decision Procedure for Symbolic Alternating Finite Automata
- Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen and Radu Mardare. Complete Axiomatization for the Total Variation Distance of Markov Chains
- Bart Jacobs. A Note on Distances between Probabilistic and Quantum distributions
- Barry Jay. Self-Quotation in a Typed, Intensional Lambda-Calculus
- Dariusz Biernacki, Sergueï Lenglet and Piotr Polesiuk. Proving Soundness of Extensional Normal-Form Bisimilarities
- Alex Simpson. Category-theoretic Structure for Independence and Conditional Independence
- Nicolas Gagne and Prakash Panangaden. A categorical characterization of relative entropy on Polish spaces
- Robert Glück and Robin Kaarsgaard. A categorical foundation for structured reversible flowchart languages
- Niels F.W. Voorneveld. Non-deterministic effects in a realizability model
- Peter Dybjer and Hugo Moeneclaey. Finitary Higher Inductive Types in the Groupoid Model
- Paul-André Melliès and Léo Stefanesco. A Game Semantics of Concurrent Separation Logic
- Clément Jacq and Paul-André Melliès. On dialogue games and graph games
- Simon Docherty and David Pym. A Stone-type duality theorem for Separation Logic via its underlying bunched logics
- Ryan Kavanagh and Stephen Brookes. A Denotational Semantics for SPARC TSO
- Aleš Bizjak and Lars Birkedal. On Models of Higher-Order Separation Logic
- Mathys Rennela and Sam Staton. Classical control and quantum circuits in enriched category theory