| 2020 | Extensions of ω-Regular Languages. | Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche |
| 2020 | First-order tree-to-tree functions. | Mikolaj Bojanczyk, Amina Doumane |
| 2020 | Temporal Constraint Satisfaction Problems in Fixed-Point Logic. | Manuel Bodirsky, Wied Pakusa, Jakub Rydval |
| 2020 | The Complexity of Reachability in Affine Vector Addition Systems with States. | Michael Blondin, Mikhail A. Raskin |
| 2020 | Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution. | Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan |
| 2020 | Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes. | Raphal Berthon, Shibashis Guha, Jean-Franois Raskin |
| 2020 | A Hennessy-Milner Theorem for ATL with Imperfect Information. | Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea |
| 2020 | Modal Logics with Composition on Finite Forests: Expressivity and Complexity. | Bartosz Bednarczyk, Stphane Demri, Raul Fervari, Alessio Mansutti |
| 2020 | Universal equivalence and majority of probabilistic programs over finite fields. | Gilles Barthe, Charlie Jacomme, Steve Kremer |
| 2020 | Deciding Differential Privacy for Programs with Finite Inputs and Outputs. | Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan |
| 2020 | Complexity of controlled bad sequences over finite sets of Nd. | A. R. Balasubramanian |
| 2020 | Approximating Values of Generalized-Reachability Stochastic Games. | Pranav Ashok, Krishnendu Chatterjee, Jan Kretnsk, Maximilian Weininger, Tobias Winkler |
| 2020 | Algebraic models of simple type theories: A polynomial approach. | Nathanael Arkor, Marcelo Fiore |
| 2020 | Reconciling noninterference and gradual typing. | Arthur Azevedo de Amorim, Matt Fredrikson, Limin Jia |
| 2020 | Space-efficient Query Evaluation over Probabilistic Event Streams. | Rajeev Alur, Yu Chen, Kishor Jothimurugan, Sanjeev Khanna |
| 2020 | The Integers as a Higher Inductive Type. | Thorsten Altenkirch, Luis Scoccola |
| 2020 | A Higher Structure Identity Principle. | Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis |
| 2020 | Logic Beyond Formulas: A Proof System on Graphs. | Matteo Acclavio, Ross Horne, Lutz Straburger |
| 2020 | Combining probabilistic and non-deterministic choice via weak distributive laws. | Alexandre Goy, Daniela Petrisan |
| 2020 | The Complexity of Dynamic Data Race Prediction. | Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan |
| 2020 | Efficient Analysis of VASS Termination Complexity. | Antonn Kucera, Jrme Leroux, Dominik Velan |
| 2020 | On the computational content of Zorn's lemma. | Thomas Powell |
| 2019 | No-Go Theorems for Distributive Laws. | Maaike Zwart, Dan Marsden |
| 2019 | Lambda Y-Calculus With Priorities. | Igor Walukiewicz |
| 2019 | A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics. | Renaud Vilmart |