| 2026 | The 2D Ray Tracing Problem Using ABCD Lenses and Mirrors Is Turing Complete. | Rosemary Adejoh, Andreas Jakoby, Sneha Mohanty, Christian Schindelhauer |
| 2025 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2025 | On Piecewise Affine Reachability with Bellman Operators. | Anton Varonka, Kazuki Watanabe |
| 2025 | Relative Randomness and Continuous Translation Functions. | Ivan Titov |
| 2025 | Elimination Distance to Dominated Clusters. | Nicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny |
| 2025 | Homomorphism Indistinguishability and Game Comonads for Restricted Conjunction and Requantification. | Georg Schindling |
| 2025 | Color Refinement for Relational Structures. | Benjamin Scheidt, Nicole Schweikardt |
| 2025 | Lazy B-Trees. | Casper Moldrup Rysgaard, Sebastian Wild |
| 2025 | Probabilistic Finite Automaton Emptiness Is Undecidable for a Fixed Automaton. | Gnter Rote |
| 2025 | Cutoff Theorems for the Equivalence of Parameterized Quantum Circuits. | Neil J. Ross, Scott Wesley |
| 2025 | Algebraic Barriers to Halving Algorithmic Information Quantities in Correlated Strings. | Andrei Romashchenko |
| 2025 | Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction. | Michael Pinsker, Jakub Rydval, Moritz Schbi, Christoph Spiess |
| 2025 | Tight Analysis of the Primal-Dual Method for Edge-Covering Pliable Set Families. | Zeev Nutov |
| 2025 | Efficient Matching of Some Fundamental Regular Expressions with Backreferences. | Taisei Nogami, Tachio Terauchi |
| 2025 | On Expansions of Monadic Second-Order Logic with Dynamical Predicates. | Joris Nieuwveld, Jol Ouaknine |
| 2025 | Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space. | Eike Neumann |
| 2025 | Strong Keys for Tensor Isomorphism Cryptography. | Anand Kumar Narayanan |
| 2025 | On Synthesis of Distributed Monitors (Invited Talk). | Anca Muscholl |
| 2025 | On Graph Queries and Modal Constraints (Invited Talk). | Filip Murlak |
| 2025 | Minimization of Deterministic Finite Automata Modulo the Edit Distance. | Jakub Michaliszyn, Jan Otop |
| 2025 | Deciding Termination of Simple Randomized Loops. | lanore Meyer, Jrgen Giesl |
| 2025 | Temporal Graph Realization with Bounded Stretch. | George B. Mertzios, Hendrik Molter, Nils Morawietz, Paul G. Spirakis |
| 2025 | Subcoloring of (Unit) Disk Graphs. | Malory Marin, Rmi Watrigant |
| 2025 | Counting Locally Optimal Tours in the TSP. | Bodo Manthey, Jesse van Rhijn |
| 2025 | One-Parametric Presburger Arithmetic Has Quantifier Elimination. | Alessio Mansutti, Mikhail R. Starchak |