| 3 | -- | 5 | Danièle Beauquier, Dimitri Grigoriev, Yuri Matiyasevich. Biography of A.O. Slissenko |
| 7 | -- | 34 | André Arnold, Aymeric Vincent, Igor Walukiewicz. Games for synthesis of controllers with partial observation |
| 35 | -- | 51 | Alessandra Carbone, Misha Gromov. Functional labels and syntactic entropy on DNA strings and proteins |
| 53 | -- | 62 | Patrick Cégielski, François Heroult, Denis Richard. On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity |
| 63 | -- | 81 | Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev. On feasible cases of checking multi-agent systems behavior |
| 83 | -- | 102 | Dima Grigoriev, Edward A. Hirsch. Algebraic proof systems over formulas |
| 103 | -- | 133 | Irène Guessarian, Eugénie Foustoucos, Theodore Andronikos, Foto N. Afrati. On temporal logic versus datalog |
| 135 | -- | 156 | Roman M. Kolpakov, Gregory Kucherov. Finding approximate repetitions under Hamming distance |
| 157 | -- | 170 | Johann A. Makowsky, Julian Mariño. Tree-width and the monadic quantifier hierarchy |
| 171 | -- | 185 | Larisa Maksimova. Complexity of some problems in positive and related calculi |
| 187 | -- | 213 | Grigori Mints. A termination proof for epsilon substitution using partial derivations |
| 215 | -- | 231 | Damian Niwinski, Igor Walukiewicz. A gap property of deterministic tree languages |
| 233 | -- | 243 | Alexander A. Razborov. Resolution lower bounds for the weak functional pigeonhole principle |
| 245 | -- | 260 | Sergei Soloviev, Vladimir Orevkov. On categorical equivalence of Gentzen-style derivations in IMLL |