| 2019 | Quantum Hoare Logic with Ghost Variables. | Dominique Unruh |
| 2019 | A Sequent Calculus for Opetopes. | Cdric Ho Thanh, Pierre-Louis Curien, Samuel Mimram |
| 2019 | Differentiable Causal Computations via Delayed Trace. | David Sprunger, Shin-ya Katsumata |
| 2019 | Local normal forms and their use in algorithmic meta theorems (Invited Talk). | Nicole Schweikardt |
| 2019 | Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. | Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata |
| 2019 | High-level methods for homotopy construction in associative n-categories. | David Reutter, Jamie Vicary |
| 2019 | Separation and covering for group based concatenation hierarchies. | Thomas Place, Marc Zeitoun |
| 2019 | Categorical Semantics for Time Travel. | Nicola Pinzani, Stefano Gogioso, Bob Coecke |
| 2019 | A Type Theory for Defining Logics and Proofs. | Brigitte Pientka, David Thibodeau, Andreas Abel, Francisco Ferreira, Rbecca Zucchini |
| 2019 | HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories. | C.-H. Luke Ong, Dominik Wagner |
| 2019 | Template games and differential linear logic. | Paul-Andr Mellis |
| 2019 | Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm. | Moritz Lichter, Ilia Ponomarenko, Pascal Schweitzer |
| 2019 | Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension. | Jrme Leroux, Sylvain Schmitz |
| 2019 | The Geometry of Bayesian Programming. | Ugo Dal Lago, Naohiko Hoshino |
| 2019 | The Logic of Action Lattices is Undecidable. | Stepan L. Kuznetsov |
| 2019 | Perspective Games. | Orna Kupferman, Gal Vardi |
| 2019 | Path Spaces of Higher Inductive Types in Homotopy Type Theory. | Nicolai Kraus, Jakob von Raumer |
| 2019 | Codensity Games for Bisimilarity. | Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo |
| 2019 | On the Termination Problem for Probabilistic Higher-Order Recursive Programs. | Naoki Kobayashi, Ugo Dal Lago, Charles Grellois |
| 2019 | Model Comparison Games for Horn Description Logics. | Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev |
| 2019 | Higher-Kinded Data Types: Syntax and Semantics. | Patricia Johann, Andrew Polonsky |
| 2019 | A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness. | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2019 | Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete. | Petr Jancar, Sylvain Schmitz |
| 2019 | Quantum channels as a categorical completion. | Mathieu Huot, Sam Staton |
| 2019 | Intuitionistic proofs without syntax. | Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straburger |