Contact Person : JTr(me Feret; Last Date for the submission of abstract : 40184; Description : The goal of this workshop is to promote discussions and collaborations between biologists (modelers), computer scientists (in static analysis) and applied-mathematicians around the design and the use of static analysis methods for biological mod