| 1419 | -- | 1422 | Jérôme Durand-Lose, Maurice Margenstern, Klaus Sutner. Preface |
| 1423 | -- | 1438 | Artiom Alhazov, Yurii Rogozhin, Sergey Verlan. On Small Universal Splicing Systems |
| 1439 | -- | 1450 | David Auger, Olivier Teytaud. The Frontier of Decidability in Partially Observable Recursive Games |
| 1451 | -- | 1464 | Amir M. Ben-Amram, Lars Kristiansen. On the Edge of Decidability in Complexity Analysis of Loop Programs |
| 1465 | -- | 1480 | Mark Burgin. Decidability and Universality in the Axiomatic Theory of Computability and Algorithms |
| 1481 | -- | 1498 | Olivier Finkel. Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular ω-Language |
| 1499 | -- | 1510 | Klaus Meer. Some Initial Thoughts on Bounded Query Computations over the Reals |
| 1511 | -- | 1522 | Yunyun Niu, K. G. Subramanian, Ibrahim Venkat, Rosni Abdullah. A Tissue P System Based solution to quadratic Assignment Problem |
| 1523 | -- | 1542 | Hammadi Bennoui, Allaoua Chaoui, Kamel Barkaoui. On Structural Analysis of Interacting Behavioral Petri Nets for Distributed Causal Model-Based Diagnosis |
| 1543 | -- | 1554 | Chung-Shou Liao, Louxin Zhang. Approximating the Spanning k-Tree forest Problem |
| 1555 | -- | 0 | Alexander Meduna, Petr Zemek. Jumping Finite Automata |