| 2020 | Non-idempotent Intersection Types in Logical Form. | Thomas Ehrhard |
| 2020 | General Supervised Learning as Change Propagation with Delta Lenses. | Zinovy Diskin |
| 2020 | Controlling a Random Population. | Thomas Colcombet, Nathanal Fijalkow, Pierre Ohlmann |
| 2020 | Contextual Equivalence for Signal Flow Graphs. | Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi |
| 2020 | Parameterized Synthesis for Fragments of First-Order Logic Over Data Words. | Batrice Brard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder |
| 2020 | Cartesian Difference Categories. | Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay |
| 2020 | Timed Negotiations. | S. Akshay, Blaise Genest, Loc Hlout, Sharvik Mital |
| 2020 | On Well-Founded and Recursive Coalgebras. | Jir Admek, Stefan Milius, Lawrence S. Moss |
| 2019 | Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. | Thorsten Wimann, Jrmy Dubut, Shin-ya Katsumata, Ichiro Hasuo |
| 2019 | Deciding Equivalence of Separated Non-nested Attribute Systems in Polynomial Time. | Helmut Seidl, Raphaela Palenta, Sebastian Maneth |
| 2019 | A Dialectica-Like Interpretation of a Linear MSO on Infinite Words. | Ccilia Pradic, Colin Riba |
| 2019 | Equational Theories and Monads from Polynomial Cayley Representations. | Maciej Pirg, Piotr Polesiuk, Filip Sieczkowski |
| 2019 | Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. | Jakob Piribauer, Christel Baier |
| 2019 | Equational Axiomatization of Algebras with Structure. | Stefan Milius, Henning Urbat |
| 2019 | A Sound and Complete Logic for Algebraic Effects. | Cristina Matache, Sam Staton |
| 2019 | Towards a Structural Proof Theory of Probabilistic \mu -Calculi. | Christophe Lucas, Matteo Mio |
| 2019 | Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces. | Thomas Leventis, Michele Pagani |
| 2019 | Languages Ordered by the Subword Order. | Dietrich Kuske, Georg Zetzsche |
| 2019 | Higher-Order Distributions for Differential Linear Logic. | Marie Kerjean, Jean-Simon Pacaud Lemay |
| 2019 | Causal Inference by String Diagram Surgery. | Bart Jacobs, Aleks Kissinger, Fabio Zanasi |
| 2019 | Constructing Inductive-Inductive Types in Cubical Type Theory. | Jasper Hugunin |
| 2019 | Optimal Satisfiability Checking for Arithmetic \mu -Calculi. | Daniel Hausmann, Lutz Schrder |
| 2019 | Continuous Reachability for Unordered Data Petri Nets is in PTime. | Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman |
| 2019 | Justness - A Completeness Criterion for Capturing Liveness Properties (Extended Abstract). | Rob van Glabbeek |
| 2019 | The Bernays-Schnfinkel-Ramsey Class of Separation Logic on Arbitrary Domains. | Mnacho Echenim, Radu Iosif, Nicolas Peltier |