| English | Accueil | Equipes | Réunions | Formulaire |
LUNDI 13 septembre 2004
| 10h-11h | accueil des participants |
| 11h-12 | exposé de mise à niveau numéro 1 Introduction à la logique temporelle et au model checking Gregory Batt |
| 12h-14h | repas (sandwiches, salades, dessert, café. sur place) |
| 14h-15h | exposé de mise à niveau numéro 2 Mise au point de modèles discrets de reéseaux de régulation biologiques par le model checking. La mucoidie chez P.aeruginosa G.Bernot, J-P.Comet, J.Guespin |
| 15h-15h30 | Pause café |
| 14h-15h | exposé de mise à niveau numéro 3 Vérification de modèles continus de réseaux de régulation biologiques par le model checking. Réseaux de régulation transcriptionnelle chez E.coli. Gregory Batt, H. de Jong |
| 16h30-17h30 | réunion du comité scientifique de l'ACI organisée par Jean-Pierre Mazat |
MARDI 14 septembre 2004
| 9h-9h30 | accueil des participants |
| 9h30-12h | groupe de travail numéro 1 (
café dans la salle) Comment écrire des propriétés biologiques en logique temporelle ? Modérateur Gilles Bernot La formalisation des propriétés connues ou conjecturées sur un organisme est souvent un point délicat du procesuus de modélisation et validation des réséaux de régulation. Peut-on trouver les "patterns" standard de formules qui facilitent l'expression de propriétés ? peut-on instrumenter (partiellement) une aide à l'écriture de telles formules ? quelles sont les formes les plus courantes de propriétés rencontrées ? quels sont les pièges à éviter, etc. |
| 12h-14h | repas (sandwiches, salades, dessert, café. sur place) |
| 14h-16h30 | groupe de travail numéro 2 Comment passer d'une approche qualitative à une approche plus quantitative avec des logiques temporelles ? Modérateur Hidde De Jong Lien avec les approches hybrides. Lien avec les délais |
| 16h30-17h | Discussion de cloture |