Constraint Programming in Computational Molecular Biology

Understanding living systems through computation is a challenging new area at the interface of computer science and biology. The goal of this talk is to present some recent work on applying constraint programming to problems in computational molecular biology.

After a short general introduction to constraint problems in molecular biology, we will focus on two types of applications:

• using finite domain constraint programming for determining the structure of biological macromulecules,
• using hybrid concurrent constraint programming for modeling the functioning of biological systems on the molecular and cellular level.