| 2017 | Inductive and Functional Types in Ludics. | Alice Pavaux |
| 2017 | On Supergraphs Satisfying CMSO Properties. | Mateus de Oliveira Oliveira |
| 2017 | The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter. | Koko Muroya, Dan R. Ghica |
| 2017 | Arithmetic Circuits: An Overview (Invited Talk). | Meena Mahajan |
| 2017 | The Power of the Filtration Technique for Modal Logics with Team Semantics. | Martin Lck |
| 2017 | Current Trends and New Perspectives for First-Order Model Checking (Invited Talk). | Stephan Kreutzer |
| 2017 | First-Order Interpolation and Grey Areas of Proofs (Invited Talk). | Laura Kovcs |
| 2017 | Schema Mappings: Structural Properties and Limits (Invited Talk). | Phokion G. Kolaitis |
| 2017 | Modal mu-Calculus with Atoms. | Bartek Klin, Mateusz Lelyk |
| 2017 | An Algebraic Approach to Valued Constraint Satisfaction. | Rostislav Horck, Tommaso Moraschini, Amanda Vidal |
| 2017 | CALF: Categorical Automata Learning Framework. | Gerco van Heerdt, Matteo Sammartino, Alexandra Silva |
| 2017 | Validity and Entailment in Modal and Propositional Dependence Logics. | Miika Hannula |
| 2017 | Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs. | Berit Gruien |
| 2017 | The Model-Theoretic Expressiveness of Propositional Proof Systems. | Erich Grdel, Benedikt Pago, Wied Pakusa |
| 2017 | Aleph1 and the Modal mu-Calculus. | Maria Joo Gouveia, Luigi Santocanale |
| 2017 | Diagrammatic Semantics for Digital Circuits. | Dan R. Ghica, Achim Jung, Aliaume Lopez |
| 2017 | Separating Functional Computation from Relations. | Ulysse Grard, Dale Miller |
| 2017 | Precongruence Formats with Lookahead through Modal Decomposition. | Wan J. Fokkink, Rob J. van Glabbeek |
| 2017 | Partial Elements and Recursion via Dominances in Univalent Type Theory. | Martn Htzel Escard, Cory M. Knapp |
| 2017 | The Ackermann Award 2017. | Anuj Dawar, Daniel Leivant |
| 2017 | Integral Categories and Calculus Categories. | J. Robin B. Cockett, Jean-Simon Lemay |
| 2017 | Slicewise Definability in First-Order Logic with Bounded Quantifier Rank. | Yijia Chen, Jrg Flum, Xuangui Huang |
| 2017 | Improved Set-Based Symbolic Algorithms for Parity Games. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer |
| 2017 | Polishness of Some Topologies Related to Automata. | Olivier Carton, Olivier Finkel, Dominique Lecomte |
| 2017 | Fast(er) Reasoning in Interval Temporal Logic. | Davide Bresolin, Emilio Muoz-Velasco, Guido Sciavicco |