| 2022 | The Complexity of Periodic Energy Minimisation. | Duncan Adamson, Argyrios Deligkas, Vladimir V. Gusev, Igor Potapov |
| 2022 | Comonadic semantics for hybrid logic. | Samson Abramsky, Dan Marsden |
| 2022 | Parameterized Complexity of Non-Separating and Non-Disconnecting Paths and Sets. | Ankit Abhinav, Susobhan Bandopadhyay, Aritra Banik, Yasuaki Kobayashi, Shunsuke Nagano, Yota Otachi, Saket Saurabh |
| 2021 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2021 | Decision Problems for Origin-Close Top-Down Tree Transducers. | Sarah Winter |
| 2021 | Quantum Multiple-Valued Decision Diagrams in Graphical Calculi. | Renaud Vilmart |
| 2021 | The Gdel Fibration. | Davide Trotta, Matteo Spadetto, Valeria de Paiva |
| 2021 | Boolean Automata and Atoms of Regular Languages. | Hellis Tamm |
| 2021 | Sublinear Algorithms for Edit Distance (Invited Talk). | Barna Saha |
| 2021 | On Dynamic Graphs (Invited Talk). | Eva Rotenberg |
| 2021 | A Hierarchy of Nondeterminism. | Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz |
| 2021 | Parameterized (Modular) Counting and Cayley Graph Expanders. | Norbert Peyerimhoff, Marc Roth, Johannes Schmitt, Jakob Stix, Alina Vdovina |
| 2021 | Stabilization Bounds for Influence Propagation from a Random Initial State. | Pl Andrs Papp, Roger Wattenhofer |
| 2021 | Feedback Vertex Set and Even Cycle Transversal for H-Free Graphs: Finding Large Block Graphs. | Giacomo Paesani, Danil Paulusma, Pawel Rzazewski |
| 2021 | Holonomic Techniques, Periods, and Decision Problems (Invited Talk). | Jol Ouaknine |
| 2021 | On Guidable Index of Tree Automata. | Damian Niwinski, Michal Skrzypczak |
| 2021 | Ergodic Theorems and Converses for PSPACE Functions. | Satyadev Nandakumar, Subin Pulari |
| 2021 | Syntactic Minimization Of Nondeterministic Finite Automata. | Robert S. R. Myers, Henning Urbat |
| 2021 | A Timecop's Chase Around the Table. | Nils Morawietz, Petra Wolf |
| 2021 | Temporal Reachability Minimization: Delaying vs. Deleting. | Hendrik Molter, Malte Renken, Philipp Zschoche |
| 2021 | The Complexity of Transitively Orienting Temporal Graphs. | George B. Mertzios, Hendrik Molter, Malte Renken, Paul G. Spirakis, Philipp Zschoche |
| 2021 | Parallel Algorithms for Power Circuits and the Word Problem of the Baumslag Group. | Caroline Mattes, Armin Wei |
| 2021 | Recursive Backdoors for SAT. | Nikolas Mhlmann, Sebastian Siebertz, Alexandre Vigny |
| 2021 | Maximum Votes Pareto-Efficient Allocations via Swaps on a Social Network. | Fu Li, Xiong Zheng |
| 2021 | Finite Models for a Spatial Logic with Discrete and Topological Path Operators. | Sven Linker, Fabio Papacchini, Michele Sevegnani |