Toward Systems Biology

May 30 - 31, June 1, 2011


Home         Confirmed speakers         Program         Registration         Venue         Accommodation

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