| 2019 | Long-run Satisfaction of Path Properties. | Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur |
| 2019 | Type-Based Complexity Analysis of Probabilistic Functional Programs. | Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen |
| 2019 | On the Power of Symmetric Linear Programs. | Albert Atserias, Anuj Dawar, Joanna Ochremiak |
| 2019 | Probabilistic Relational Reasoning via Metrics. | Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata |
| 2019 | Timed Systems through the Lens of Logic. | S. Akshay, Paul Gastin, Vincent Jug, Shankara Narayanan Krishna |
| 2019 | Block products for algebras over countable words and applications to logic. | Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith |
| 2019 | Algorithmic barriers to representing conditional independence. | Nathanael L. Ackerman, Jeremy Avigad, Cameron E. Freer, Daniel M. Roy, Jason M. Rute |
| 2019 | A comonadic view of simulation and quantum resources. | Samson Abramsky, Rui Soares Barbosa, Martti Karvonen, Shane Mansfield |
| 2019 | Matching μ-Logic. | Xiaohong Chen, Grigore Rosu |
| 2018 | Separability by piecewise testable languages and downward closures beyond subwords. | Georg Zetzsche |
| 2018 | A theory of linear typings as flows on 3-valent graphs. | Noam Zeilberger |
| 2018 | A van Benthem Theorem for Fuzzy Modal Logic. | Paul Wild, Lutz Schrder, Dirk Pattinson, Barbara Knig |
| 2018 | Every λ-Term is Meaningful for the Infinitary Relational Model. | Pierre Vial |
| 2018 | Species, Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs. | Takeshi Tsukada, Kazuyuki Asada, C.-H. Luke Ong |
| 2018 | Guarded Computational Type Theory. | Jonathan Sterling, Robert Harper |
| 2018 | A General Framework for Relational Parametricity. | Kristina Sojakova, Patricia Johann |
| 2018 | Logical paradoxes in quantum computation. | Nadish de Silva |
| 2018 | Computable decision making on the reals and other spaces: via partiality and nondeterminism. | Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin |
| 2018 | LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic. | Ccilia Pradic, Colin Riba |
| 2018 | A functional interpretation with state. | Thomas Powell |
| 2018 | Allegories: decidability and graph homomorphisms. | Damien Pous, Valeria Vignudelli |
| 2018 | Differential Equation Axiomatization: The Impressive Power of Differential Ghosts. | Andr Platzer, Yong Kiam Tan |
| 2018 | Syntax and Semantics for Operations with Scopes. | Maciej Pirg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff |
| 2018 | On the number of types in sparse graphs. | Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk |
| 2018 | Parameterized circuit complexity of model-checking on sparse structures. | Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk |