Dagstuhl Seminar Proceedings, Volume 9091,

• Rainer Breitling, David Roger Gilbert, Monika Heiner, and Corrado Priami 09091 Abstracts Collection – Formal Methods in Molecular Biology 10.4230/DagSemProc.09091.1
• Rainer Breitling, David Roger Gilbert, Monika Heiner, and Corrado Priami 09091 Executive Summary – Formal Methods in Molecular Biology 10.4230/DagSemProc.09091.2
• Attila Csikász-Nagy, Adrien Faure, Roberto Larcher, Paola Lecca, Ivan Mura, Ferenc Jordan, Alida Palmisano, Alessandro Romanel, Sean Sedwards, Heike Siebert, Sylvain Soliman, Denis Thieffry, Judit Zámborszky, Tommaso Mazza, and Paolo Ballarini Analyzing various models of Circadian Clock and Cell Cycle coupling 10.4230/DagSemProc.09091.3
• David Roger Gilbert, Rainer Breitling, and Monika Heiner BioModel Engineering: Its role in Systems Biology and Synthetic Biology 10.4230/DagSemProc.09091.4
• Federica Ciocchetta, Andrea Degasperi, John Heath, and Jane Hillston Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA 10.4230/DagSemProc.09091.5
• Céline Kuttler, Cédric Lhoussaine, and Mirabelle Nebut Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon 10.4230/DagSemProc.09091.6
• Cristian Versari Stochastic modelling of cellular growth and division by means of the pi@ calculus 10.4230/DagSemProc.09091.7
• Heike Siebert Symbolic Steady States and Dynamically Essential Subnetworks of Discrete Regulatory Networks 10.4230/DagSemProc.09091.8