Computational Methods in Systems Biology, 7th International Conference, CMSB 2009

The proceedings contain 21 papers. The topics discussed include: modelling biological clocks with bio-PEPA: stochasticity and robustness for the neurospora crassa circadian network; quantitative pathway logic for computational biology; a prize-collecting steiner tree approach for transduction network inference; formal analysis of the genetic toggle; control strategies for the regulation of the eukaryotic heat shock response; computing reachable states for nonlinear biological models; on coupling models using model-checking: effects of irinotecan injections on the mammalian cell cycle; approximation of event probabilities in noisy cellular processes; equivalence and discretisation in bio-PEPA; improved parameter estimation for completely observed ordinary differential equations with application to biological systems; a Bayesian approach to model checking biological systems; probabilistic approximations of signaling pathway dynamics; and a reduction of logical regulatory graphs preserving essential dynamical properties.