Stoichiometric Foundation of Large-Scale Biochemical System Analysis.- Modelling Stochastic Clonal Interference.- Software Verification of Biomolecular Systems.- Kinetic Modelling as a Modern Technology to Explore and Modify Living Cells.- Modelling Gene Assembly in Ciliates.- Towards Molecular Programming - a Personal Report on DNA8 and Molecular Computing.- Molecular Information Theory: Solving the Mysteries of DNA.- Formal Modelling of C. elegans Development. A Scenario-Based Approach.- P Systems with Symport/Antiport Rules. A Survey.- Mathematical Modelling of the Immune System.- The ?-calculus as an Abstraction for Biomolecular Systems.- The Topology of Evolutionary Biology.- Models of Genome Evolution.