Cedric Lhoussaine 
Approches symboliques de la modelisation et de l’analyse des systemes biologiques 

La biologie des systemes, ou biologie systemique, est une approche de la biologie qui consiste a englober la complexite des interactions entre les entites biologiques dans un tout systemique. Le but etant de comprendre l’emergence de proprietes physiologiques ou fonctionnelles.Approches symboliques de la modelisation et de l’analyse des systemes biologiques presente les apports de methodes formelles issues de l’informatique pour la modelisation de la dynamique des systemes biologiques. Il traite plus specifiquement des methodes symboliques, c’est-a-dire qui peuvent etablir des proprietes qualitatives des modeles.Cet ouvrage expose differentes approches liees a la semantique, au langage, a la modelisation et a leur lien avec les donnees, et nous permet d’examiner des problemes fondamentaux et des defis auxquels nous confronte la biologie des systemes. Une premiere partie regroupe des travaux qui s’appuient sur les diverses donnees accessibles pour construire des modeles alors que la seconde presente des contributions autour des questions de la semantique et des methodes formelles.