| 1 | -- | 2 | Vincent Danos, Cosimo Laneve. Preface |
| 3 | -- | 14 | Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier Roux. Semantics of Biological Regulatory Networks |
| 15 | -- | 30 | Bor-Yuh Evan Chang, Manu Sridharan. PML: Toward a High-Level Formal Language for Biological Systems |
| 31 | -- | 49 | Vincent Danos, Jean Krivine. Formal Molecular Biology Done in CCS-R |
| 51 | -- | 63 | Paola Lecca, Corrado Priami. Cell Cycle Control in Eukaryotes: A BioSpi model |
| 65 | -- | 79 | Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa. Control Flow Analysis for BioAmbients |