| 635 | -- | 636 | Pascal Weil. Foreword |
| 637 | -- | 646 | Maxim A. Babenko, Ignat I. Kolesnichenko, Ivan Smirnov. Cascade Heap: Towards Time-Optimal Extractions |
| 647 | -- | 665 | Thierry Coquand, Simon Huber. An Adequacy Theorem for Dependent Type Theory |
| 666 | -- | 687 | Lukas Fleischer, Manfred Kufleitner. Green's Relations in Deterministic Finite Automata |
| 688 | -- | 714 | Viliam Geffert. Unary Coded PSPACE-Complete Languages in ASPACE(loglog n) |
| 715 | -- | 808 | Alexandru Gheorghiu, Theodoros Kapourniotis, Elham Kashefi. Verification of Quantum Computation: An Overview of Existing Approaches |
| 809 | -- | 832 | Alexei Miasnikov, Svetla Vassileva, Armin Weiß. The Conjugacy Problem in Free Solvable Groups and Wreath Products of Abelian Groups is in TC 0 |
| 833 | -- | 848 | Alexey Milovanov. On Algorithmic Statistics for Space-bounded Algorithms |
| 849 | -- | 901 | Thomas Place, Marc Zeitoun. Generic Results for Concatenation Hierarchies |
| 902 | -- | 921 | Oleg Verbitsky, Maksim Zhukovskii. The Descriptive Complexity of Subgraph Isomorphism Without Numerics |