| 2017 | A Tour of Recent Results on Word Transducers. Anca Muscholl |
| 2017 | Automata and Program Analysis. Thomas Colcombet, Laure Daviaud, Florian Zuleger |
| 2017 | Automatic Kolmogorov Complexity and Normality Revisited. Alexander Shen |
| 2017 | Busy Beaver Scores and Alphabet Size. Holger Petersen |
| 2017 | Contextuality in Multipartite Pseudo-Telepathy Graph Games. Anurag Anshu, Peter Høyer, Mehdi Mhalla, Simon Perdrix |
| 2017 | Decidable Weighted Expressions with Presburger Combinators. Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin |
| 2017 | Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words. Christof Löding, Christopher Spinrath |
| 2017 | Determinism and Computational Power of Real Measurement-Based Quantum Computation. Simon Perdrix, Luc Sanselme |
| 2017 | Deterministic Oblivious Local Broadcast in the SINR Model. Tomasz Jurdzinski, Michal Rózanski |
| 2017 | Energy-Efficient Fast Delivery by Mobile Agents. Andreas Bärtschi, Thomas Tschager |
| 2017 | Expressive Power of Evolving Neural Networks Working on Infinite Input Streams. Jérémie Cabessa, Olivier Finkel |
| 2017 | FO Model Checking on Map Graphs. Kord Eickmeyer, Ken-ichi Kawarabayashi |
| 2017 | Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings Ralf Klasing, Marc Zeitoun |
| 2017 | Generalized Satisfiability Problems via Operator Assignments. Albert Atserias, Phokion G. Kolaitis, Simone Severini |
| 2017 | Listing All Fixed-Length Simple Cycles in Sparse Graphs in Optimal Time. George Manoussakis |
| 2017 | Minimal Absent Words in a Sliding Window and Applications to On-Line Pattern Matching. Maxime Crochemore, Alice Héliou, Gregory Kucherov, Laurent Mouchard, Solon P. Pissis, Yann Ramusat |
| 2017 | Multiple Context-Free Tree Grammars and Multi-component Tree Adjoining Grammars. Joost Engelfriet, Andreas Maletti |
| 2017 | New Results on Routing via Matchings on Graphs. Indranil Banerjee, Dana Richards |
| 2017 | On Weak-Space Complexity over Complex Numbers. Pushkar S. Joglekar, B. V. Raghavendra Rao, Siddharth S. Sivakumar |
| 2017 | On \varSigma \wedge \varSigma \wedge \varSigma Circuits: The Role of Middle \varSigma Fan-In, Homogeneity and Bottom Degree. Christian Engels, B. V. Raghavendra Rao, Karteek Sreenivasaiah |
| 2017 | Parameterized Aspects of Triangle Enumeration. Matthias Bentert, Till Fluschnik, André Nichterlein, Rolf Niedermeier |
| 2017 | Parikh Image of Pushdown Automata. Pierre Ganty, Elena Gutiérrez |
| 2017 | Polynomial-Time Algorithms for the Subset Feedback Vertex Set Problem on Interval Graphs and Permutation Graphs. Charis Papadopoulos, Spyridon Tzimas |
| 2017 | Reliable Communication via Semilattice Properties of Partial Knowledge. Aris Pagourtzis, Giorgos Panagiotakos, Dimitris Sakavalas |
| 2017 | Some Results of Zoltán Ésik on Regular Languages. Jean-Éric Pin |
| 2017 | Strong Duality in Horn Minimization. Endre Boros, Ondrej Cepek, Kazuhisa Makino |
| 2017 | Subquadratic Non-adaptive Threshold Group Testing. Gianluca De Marco, Tomasz Jurdzinski, Michal Rózanski, Grzegorz Stachowiak |
| 2017 | Testing Polynomial Equivalence by Scaling Matrices. Markus Bläser, B. V. Raghavendra Rao, Jayalal Sarma |
| 2017 | The Complexity of Routing with Few Collisions. Till Fluschnik, Marco Morik, Manuel Sorge |
| 2017 | The Snow Team Problem - (Clearing Directed Subgraphs by Mobile Agents). Dariusz Dereniowski, Andrzej Lingas, Mia Persson, Dorota Urbanska, Pawel Zylinski |
| 2017 | Token Jumping in Minor-Closed Classes. Nicolas Bousquet, Arnaud Mary, Aline Parreau |
| 2017 | Tropical Combinatorial Nullstellensatz and Fewnomials Testing. Dima Grigoriev, Vladimir V. Podolskii |
| 2017 | Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities. Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
| 2017 | What One Has to Know When Attacking P vs. NP (Extended Abstract). Juraj Hromkovic, Peter Rossmanith |