Dagstuhl Seminar Proceedings 09091 Formal Methods in Molecular Biology

The daily rhythm can influence the proliferation rate of many cell types [1]. In the mammalian system the transcription of the cell cycle regulatory protein Wee1 is controlled by the circadian clock [2]. In [3], Zámborszky et al. present a computational model of the cell cycle and circadian rhythm coupling, showing that the coupling can lead to multimodal cell cycle time distributions. Biological data points to additional couplings, including a link back from the cell cycle to the circadian clock (e.g. [4]); this requires a more detailed description of both parts of the model. Hence, we main at further extending and analyzing the model presented in [3] using various modelling and computational techniques. First, we focus on the use of the CoSBi Lab1, before taking advantage of two other modelling/simulation environments, namely BIOCHAM2 and GINsim3 tools. Following the ideas presented in [8, 5], we translate the ODEs couple