| 2017 | Capturing polynomial time using Modular Decomposition. | Berit Gruien |
| 2017 | Learning first-order definable concepts over structures of small degree. | Martin Grohe, Martin Ritzert |
| 2017 | Descriptive complexity of linear equation systems and applications to propositional proof complexity. | Martin Grohe, Wied Pakusa |
| 2017 | Lean and full congruence formats for recursion. | Rob J. van Glabbeek |
| 2017 | Quantifiers on languages and codensity monads. | Mai Gehrke, Daniela Petrisan, Luca Reggio |
| 2017 | Unrestricted stone duality for Markov processes. | Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden |
| 2017 | A type-theoretical definition of weak ω-categories. | Eric Finster, Samuel Mimram |
| 2017 | On delay and regret determinization of max-plus automata. | Emmanuel Filiot, Ismal Jecker, Nathan Lhote, Guillermo A. Prez, Jean-Franois Raskin |
| 2017 | Algorithms for some infinite-state MDPs and stochastic games. | Kousha Etessami |
| 2017 | Static analysis of deterministic negotiations. | Javier Esparza, Anca Muscholl, Igor Walukiewicz |
| 2017 | Differentiation in logical form. | Abbas Edalat, Mehrdad Maleki |
| 2017 | Typability in bounded dimension. | Andrej Dudenhefner, Jakob Rehof |
| 2017 | Constructive completeness for the linear-time μ-calculus. | Amina Doumane |
| 2017 | Definability of semidefinite programming and lasserre lower bounds for CSPs. | Anuj Dawar, Pengming Wang |
| 2017 | Regular separability of one counter automata. | Wojciech Czerwinski, Slawomir Lasota |
| 2017 | Stack semantics of type theory. | Thierry Coquand, Bassel Mannaa, Fabian Ruch |
| 2017 | Perfect half space games. | Thomas Colcombet, Marcin Jurdzinski, Ranko Lazic, Sylvain Schmitz |
| 2017 | Logic and regular cost functions. | Thomas Colcombet |
| 2017 | Timed pushdown automata and branching vector addition systems. | Lorenzo Clemente, Slawomir Lasota, Ranko Lazic, Filip Mazowiecki |
| 2017 | The logic of counting query answers. | Hubie Chen, Stefan Mengel |
| 2017 | Register automata with linear arithmetic. | Yu-Fang Chen, Ondrej Lengl, Tony Tan, Zhilin Wu |
| 2017 | Verification of randomized security protocols. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2017 | On shift-invariant maximal filters and hormonal cellular automata. | Julien Cervelle, Grgory Lafitte |
| 2017 | Foundation for a series of efficient simulation algorithms. | Grard Cc |
| 2017 | The continuity of monadic stream functions. | Venanzio Capretta, Jonathan Fowler |