| 2020 | A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λ μ-Calculus. James Laird |
| 2020 | A Duality Theoretic View on Limits of Finite Structures. Mai Gehrke, Tomas Jakl, Luca Reggio |
| 2020 | Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata. Christof Löding, Anton Pirogov |
| 2020 | An Auxiliary Logic on Trees: on the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning. Alessio Mansutti |
| 2020 | An Axiomatic Approach to Reversible Computation. Ivan Lanese, Iain Phillips, Irek Ulidowski |
| 2020 | Cartesian Difference Categories. Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay |
| 2020 | Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2020 | Constructing Infinitary Quotient-Inductive Types. Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp |
| 2020 | Contextual Equivalence for Signal Flow Graphs. Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi |
| 2020 | Controlling a Random Population. Thomas Colcombet, Nathanaël Fijalkow, Pierre Ohlmann |
| 2020 | Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. Mathieu Huot, Sam Staton, Matthijs Vákár |
| 2020 | Decomposing Probabilistic Lambda-Calculi. Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes |
| 2020 | Deep Induction: Induction Rules for (Truly) Nested Types. Patricia Johann, Andrew Polonsky |
| 2020 | Exponential Automatic Amortized Resource Analysis. David M. Kahn, Jan Hoffmann |
| 2020 | Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings Jean Goubault-Larrecq, Barbara König |
| 2020 | General Supervised Learning as Change Propagation with Delta Lenses. Zinovy Diskin |
| 2020 | Graded Algebraic Theories. Satoshi Kura |
| 2020 | Learning Weighted Automata over Principal Ideal Domains. Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva |
| 2020 | Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store. Miriam Polzer, Sergey Goncharov |
| 2020 | Minimal Coverability Tree Construction Made Complete and Efficient. Alain Finkel, Serge Haddad, Igor Khmelnitsky |
| 2020 | Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari |
| 2020 | Non-idempotent Intersection Types in Logical Form. Thomas Ehrhard |
| 2020 | On Computability of Data Word Functions Defined by Transducers. Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier |
| 2020 | On Well-Founded and Recursive Coalgebras. Jirí Adámek, Stefan Milius, Lawrence S. Moss |
| 2020 | On the k-synchronizability of Systems. Cinzia Di Giusto, Laetitia Laversa, Étienne Lozes |
| 2020 | Parameterized Synthesis for Fragments of First-Order Logic Over Data Words. Béatrice Bérard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder |
| 2020 | Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev |
| 2020 | Relative Full Completeness for Bicategorical Cartesian Closed Structure. Marcelo Fiore, Philip Saville |
| 2020 | Semantical Analysis of Contextual Types. Brigitte Pientka, Ulrich Schöpp |
| 2020 | Spinal Atomic Lambda-Calculus. David Sherratt, Willem Heijltjes, Tom Gundersen, Michel Parigot |
| 2020 | The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. Thomas Neele, Antti Valmari, Tim A. C. Willemse |
| 2020 | The Polynomial Complexity of Vector Addition Systems with States. Florian Zuleger |
| 2020 | Timed Negotiations. S. Akshay, Blaise Genest, Loïc Hélouët, Sharvik Mital |