| 2017 | Subquadratic Non-adaptive Threshold Group Testing. | Gianluca De Marco, Tomasz Jurdzinski, Michal Rzanski, Grzegorz Stachowiak |
| 2017 | Listing All Fixed-Length Simple Cycles in Sparse Graphs in Optimal Time. | George Manoussakis |
| 2017 | Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words. | Christof Lding, Christopher Spinrath |
| 2017 | Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities. | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
| 2017 | Deterministic Oblivious Local Broadcast in the SINR Model. | Tomasz Jurdzinski, Michal Rzanski |
| 2017 | On Weak-Space Complexity over Complex Numbers. | Pushkar S. Joglekar, B. V. Raghavendra Rao, Siddharth S. Sivakumar |
| 2017 | What One Has to Know When Attacking P vs. NP (Extended Abstract). | Juraj Hromkovic, Peter Rossmanith |
| 2017 | Tropical Combinatorial Nullstellensatz and Fewnomials Testing. | Dima Grigoriev, Vladimir V. Podolskii |
| 2017 | Parikh Image of Pushdown Automata. | Pierre Ganty, Elena Gutirrez |
| 2017 | The Complexity of Routing with Few Collisions. | Till Fluschnik, Marco Morik, Manuel Sorge |
| 2017 | Decidable Weighted Expressions with Presburger Combinators. | Emmanuel Filiot, Nicolas Mazzocchi, Jean-Franois Raskin |
| 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 | Multiple Context-Free Tree Grammars and Multi-component Tree Adjoining Grammars. | Joost Engelfriet, Andreas Maletti |
| 2017 | FO Model Checking on Map Graphs. | Kord Eickmeyer, Ken-ichi Kawarabayashi |
| 2017 | The Snow Team Problem - (Clearing Directed Subgraphs by Mobile Agents). | Dariusz Dereniowski, Andrzej Lingas, Mia Persson, Dorota Urbanska, Pawel Zylinski |
| 2017 | Minimal Absent Words in a Sliding Window and Applications to On-Line Pattern Matching. | Maxime Crochemore, Alice Hliou, Gregory Kucherov, Laurent Mouchard, Solon P. Pissis, Yann Ramusat |
| 2017 | Automata and Program Analysis. | Thomas Colcombet, Laure Daviaud, Florian Zuleger |
| 2017 | Expressive Power of Evolving Neural Networks Working on Infinite Input Streams. | Jrmie Cabessa, Olivier Finkel |
| 2017 | Token Jumping in Minor-Closed Classes. | Nicolas Bousquet, Arnaud Mary, Aline Parreau |
| 2017 | Strong Duality in Horn Minimization. | Endre Boros, Ondrej Cepek, Kazuhisa Makino |
| 2017 | Testing Polynomial Equivalence by Scaling Matrices. | Markus Blser, B. V. Raghavendra Rao, Jayalal Sarma |
| 2017 | Parameterized Aspects of Triangle Enumeration. | Matthias Bentert, Till Fluschnik, Andr Nichterlein, Rolf Niedermeier |
| 2017 | Energy-Efficient Fast Delivery by Mobile Agents. | Andreas Brtschi, Thomas Tschager |
| 2017 | New Results on Routing via Matchings on Graphs. | Indranil Banerjee, Dana Richards |
| 2017 | Generalized Satisfiability Problems via Operator Assignments. | Albert Atserias, Phokion G. Kolaitis, Simone Severini |