| 2018 | Computing with SAT Oracles: Past, Present and Future. | Joo Marques-Silva |
| 2018 | Algorithm Analysis Through Proof Complexity. | Massimo Lauria |
| 2018 | Decidable and Undecidable Fragments of First-Order Concatenation Theory. | Lars Kristiansen, Juvenal Murwanashyaka |
| 2018 | Weak Reduction Principle and Computable Metric Spaces. | Margarita V. Korovina, Oleg V. Kudinov |
| 2018 | A Unified Framework for Designing EPTAS's for Load Balancing on Parallel Machines. | Ishai Kones, Asaf Levin |
| 2018 | A Journey to Computably Enumerable Structures (Tutorial Lectures). | Bakh Khoussainov |
| 2018 | Topological Analysis of Representations. | Mathieu Hoyrup |
| 2018 | Computability of Ordinary Differential Equations. | Daniel Silva Graa, Ning Zhong |
| 2018 | On General Sum Approximations of Irrational Numbers. | Ivan Georgiev, Lars Kristiansen, Frank Stephan |
| 2018 | Kernelization Lower Bounds for Finding Constant-Size Subgraphs. | Till Fluschnik, George B. Mertzios, Andr Nichterlein |
| 2018 | New Nonterminal Complexity Results for Semi-conditional Grammars. | Henning Fernau, Lakshmanan Kuppusamy, Rufus O. Oladele |
| 2018 | Diminishable Parameterized Problems and Strict Polynomial Kernelization. | Henning Fernau, Till Fluschnik, Danny Hermelin, Andreas Krebs, Hendrik Molter, Rolf Niedermeier |
| 2018 | Computing and Scheduling with Explorable Uncertainty. | Thomas Erlebach |
| 2018 | Turing's Vision and Deep Learning. | Martin Davis |
| 2018 | Online Computability and Differentiation in the Cantor Space. | Douglas Cenzer, Diego A. Rojas |
| 2018 | Taming Koepke's Zoo. | Merlin Carl, Sabrina Ouazzani, Philip D. Welch |
| 2018 | Some Observations on Infinitary Complexity. | Merlin Carl |
| 2018 | Divide and Conquer Computation of the Multi-string BWT and LCP Array. | Paola Bonizzoni, Gianluca Della Vedova, Serena Nicosia, Yuri Pirola, Marco Previtali, Raffaella Rizzi |
| 2018 | From Eventually Different Functions to Pandemic Numberings. | Achilles A. Beros, Mushfeq Khan, Bjrn Kjos-Hanssen, Andr Nies |
| 2018 | Using Structural Properties for Integer Programs. | Sebastian Berndt, Kim-Manuel Klein |
| 2018 | Computing Tree Width: From Theory to Practice and Back. | Sebastian Berndt |
| 2018 | Optimized Program Extraction for Induction and Coinduction. | Ulrich Berger, Olga Petrovska |
| 2018 | A Deontic Logic Reasoning Infrastructure. | Christoph Benzmller, Xavier Parent, Leendert W. N. van der Torre |
| 2018 | Universality in Freezing Cellular Automata. | Florent Becker, Diego Maldonado, Nicolas Ollinger, Guillaume Theyssier |
| 2018 | Degrees of Categoricity for Prime and Homogeneous Models. | Nikolay Bazhenov, Margarita Marchuk |