Des méthodes logiques peuvent-elles aider à comprendre pourquoi certains poulets sont plus gras que d'autres ?

Les relations entre la biologie et l'informatique, en particulier l'algorithmique des séquences, existent depuis que les premières techniques de séquencage du génome ont fait leur apparition, il y a une vingtaine d'année. Depuis quelques années cependant, la biologie commence à avoir besoin d'autres concepts formels, en particulier la notion (plus mathématiques) de systèmes dynamiques et différentes formalisation informatiques. La raison principale se trouve dans un saut technologique vers l'an 2000, qui permet d'observer le comportement de milliers de produits dans une cellule, et donc de s'interroger au sujet de ce comportement. Dans cet exposé, nous allons voir comme une question de biologiste (les poulets gras...) amène finalement à développer des méthodes nouvelles en programmation par contraintes en s'appuyant sur des fondements assez solides en mathématiques.