| 2017 | Understanding the complexity of #SAT using knowledge compilation. | Florent Capelli |
| 2017 | Common knowledge and multi-scale locality analysis in Cayley structures. | Felix Canavoi, Martin Otto |
| 2017 | A crevice on the Crane Beach: Finite-degree predicates. | Michal Cadilhac, Charles Paperman |
| 2017 | Constraint satisfaction problems over semilattice block Mal'tsev algebras. | Andrei A. Bulatov |
| 2017 | The real projective spaces in homotopy type theory. | Ulrik Buchholtz, Egbert Rijke |
| 2017 | Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries. | Simone Bova, Fabio Mogavero |
| 2017 | An interpretation of system F through bar recursion. | Valentin Blot |
| 2017 | Logics for continuous reachability in Petri nets and vector addition systems with states. | Michael Blondin, Christoph Haase |
| 2017 | Foundational nonuniform (Co)datatypes for higher-order logic. | Jasmin Christian Blanchette, Fabian Meier, Andrei Popescu, Dmitriy Traytel |
| 2017 | Fully abstract encodings of λ-calculus in HOcore through abstract machines. | Malgorzata Biernacka, Dariusz Biernacki, Sergue Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt |
| 2017 | Strategy logic with imperfect information. | Raphal Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi |
| 2017 | Equivalence of inductive definitions and cyclic proofs under arithmetic. | Stefano Berardi, Makoto Tatsuta |
| 2017 | Polynomial automata: Zeroness and applications. | Michael Benedikt, Timothy Duff, Aditya Sharad, James Worrell |
| 2017 | Untwisting two-way transducers in elementary time. | Flix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis |
| 2017 | Data structures for quasistrict higher categories. | Krzysztof Bar, Jamie Vicary |
| 2017 | The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems. | Libor Barto, Michael Kompatscher, Miroslav Olsk, Trung Van Pham, Michael Pinsker |
| 2017 | Domains and event structures for fusions. | Paolo Baldan, Andrea Corradini, Fabio Gadducci |
| 2017 | The clocks are ticking: No more delays! | Patrick Bahr, Hans Bugge Grathwohl, Rasmus Ejlers Mgelberg |
| 2017 | Gdel logic: From natural deduction to parallel computation. | Federico Aschieri, Agata Ciabattoni, Francesco A. Genco |
| 2017 | Descriptive Complexity for counting complexity classes. | Marcelo Arenas, Martn Muoz, Cristian Riveros |
| 2017 | Cut-free completeness for modal mu-calculus. | Bahareh Afshari, Graham E. Leigh |
| 2017 | The pebbling comonad in Finite Model Theory. | Samson Abramsky, Anuj Dawar, Pengming Wang |
| 2017 | The homomorphism problem for regular graph patterns. | Miguel Romero, Pablo Barcel, Moshe Y. Vardi |
| 2016 | Order-Invariance of Two-Variable Logic is Decidable. | Thomas Zeume, Frederik Harwath |
| 2016 | Winning Cores in Parity Games. | Steen Vester |