| 5 | -- | 37 | Richard Bonichon, Pascal Cuoq. A Mergeable Interval Map |
| 39 | -- | 86 | Pierre Castéran, Vincent Filou. Tasks, Types and Tactics for Local Computation Systems |
| 87 | -- | 127 | Stéphane Lescuyer. First-Class Containers in Coq |
| 129 | -- | 157 | Mehdi Dogguy, Stéphane Glondu, Sylvain Le Gall, Stefano Zacchiroli. Enforcing Type-Safe Linking using Inter-Package Relationships |
| 159 | -- | 185 | Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert, Guillaume Von Tokarski. Real-Time Monitoring of Ocaml programs |