|
|
Programming Languages for Biological Modeling and Simulation
Presentation / Members / Thèses / Publications HAL
Modeling and simulation in systems biology seeks for understanding the dynamic behavior of living cells. Since the biological knowledge is quickly increasing, modeling and simulation are now faced to systems with complex control, stochastic effects, and increasing size. Formal modeling approaches are essential for proper model verification and system prediction. The bioComputing team develops and studies languages for modeling and simulation of bio-molecular systems. Our approach is based on concurrent programming languages with stochastic semantics. In parallel, we perform case studies on concrete biological systems. A particular aim is to incorporate spatial aspects in living cells into our models.
14 Feb 2013
14 Mar 2013
21 Mar 2013
4 Apr 2013
1 - 5 Jul 2013
18 Feb 2013
UMR 8022 - Laboratoire d'Informatique Fondamentale de Lille - Copyright © 2012 Sophie TISON - Crédits & Mentions légales
Pour tout commentaire / Comments and remarks : webmaster