| 2019 | A Complete Normal-Form Bisimilarity for State. Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk |
| 2019 | A Dialectica-Like Interpretation of a Linear MSO on Infinite Words. Cécilia Pradic, Colin Riba |
| 2019 | A Sound and Complete Logic for Algebraic Effects. Cristina Matache, Sam Staton |
| 2019 | Causal Inference by String Diagram Surgery. Bart Jacobs, Aleks Kissinger, Fabio Zanasi |
| 2019 | Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment). Simon Castellan, Nobuko Yoshida |
| 2019 | Change Actions: Models of Generalised Differentiation. Mario Alvarez-Picallo, C.-H. Luke Ong |
| 2019 | Coalgebra Learning via Duality. Simone Barlocco, Clemens Kupke, Jurriaan Rot |
| 2019 | Constructing Inductive-Inductive Types in Cubical Type Theory. Jasper Hugunin |
| 2019 | Continuous Reachability for Unordered Data Petri Nets is in PTime. Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman |
| 2019 | Deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial Time. Helmut Seidl, Raphaela Palenta, Sebastian Maneth |
| 2019 | Equational Axiomatization of Algebras with Structure. Stefan Milius, Henning Urbat |
| 2019 | Equational Theories and Monads from Polynomial Cayley Representations. Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski |
| 2019 | Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings Mikolaj Bojanczyk, Alex Simpson |
| 2019 | Higher-Order Distributions for Differential Linear Logic. Marie Kerjean, Jean-Simon Pacaud Lemay |
| 2019 | Identifiers in Registers - Describing Network Algorithms with Logic. Benedikt Bollig, Patricia Bouyer, Fabian Reiter |
| 2019 | Justness - A Completeness Criterion for Capturing Liveness Properties (Extended Abstract). Rob van Glabbeek |
| 2019 | Kleene Algebra with Hypotheses. Amina Doumane, Denis Kuperberg, Damien Pous, Cécilia Pradic |
| 2019 | Languages Ordered by the Subword Order. Dietrich Kuske, Georg Zetzsche |
| 2019 | Optimal Satisfiability Checking for Arithmetic \mu -Calculi. Daniel Hausmann, Lutz Schröder |
| 2019 | Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. Jakob Piribauer, Christel Baier |
| 2019 | Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo |
| 2019 | Resource-Tracking Concurrent Games. Aurore Alcolei, Pierre Clairambault, Olivier Laurent |
| 2019 | Rewriting Abstract Structures: Materialization Explained Categorically. Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink |
| 2019 | Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces. Thomas Leventis, Michele Pagani |
| 2019 | The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains. Mnacho Echenim, Radu Iosif, Nicolas Peltier |
| 2019 | The Impatient May Use Limited Optimism to Minimize Regret. Michaël Cadilhac, Guillermo A. Pérez, Marie van den Bogaard |
| 2019 | Tight Worst-Case Bounds for Polynomial Loop Programs. Amir M. Ben-Amram, Geoff W. Hamilton |
| 2019 | Towards a Structural Proof Theory of Probabilistic \mu -Calculi. Christophe Lucas, Matteo Mio |
| 2019 | Trees in Partial Higher Dimensional Automata. Jérémy Dubut |
| 2019 | Two-Way Parikh Automata with a Visibly Pushdown Stack. Luc Dartois, Emmanuel Filiot, Jean-Marc Talbot |
| 2019 | Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games. Thomas Colcombet, Nathanaël Fijalkow |