AFSEC

Journée “Méthodes formelles pour la bio-informatique” du jeudi 20 octobre 2011 au LIP6 à Paris.

25 participants.

Nous remercions particulièrement Béatrice Bérard et Fabrice Kordon pour l’organisation locale.

Les transparents des quatre présentations sont disponibles :

• Grégory Batt Robustness Analysis and Tuning of Synthetic Gene Networks
• Thao Dang Applying the Hybridization Approach to Biological Models
• Loïc Paulevé Modelling, Simulation and Verification of Large Biological Regulatory Networks
• Gilles Bernot An extension of Hoare logic to identify the parameters of a gene regulatory network

This entry was posted on Friday, November 4th, 2011 at 13:14 and is filed under Actions Afsec, Journées. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.