Toward Systems Biology
May 30 - 31, June 1, 2011
Grenoble
When Biology Meets (Symbolic) Computing: Algebra, Biology, Computability and Diophantus
In this talk, I will introduce a new approach to compositional and hierarchical modeling of biological systems and its relations to certain problems in algebra and algorithmics: namely, decision procedures for systems of linear Diophantine equations and inequalities, whose coefficients range over algebraic numbers and intervals. The questions, addressed here, are central to the success of the emerging field of systems biology and relate to questions in decidability theory, algorithmic algebra, hybrid automata models, etc.
Bud Mishra, New York University