|
10.30 - 11.00
|
Accueil
|
|
11.00 - 12.30
|
Exposés :
-
François Fages: Model
checking of gene interaction (ppt)
-
Magali Roux-Rouquié: Modélisation des systèmes et
des processus en biologie moléculaire
|
|
12.30 - 14.00
|
Déjeuner
|
|
14.00 - 15.30
|
Exposés :
-
Damien Eveillard: Problèmes de transfert d'échelle en biologie
moléculaire : illustration par l'épissage alternatif.
(epissage.htm,
smith00.pdf,
caceres02.pdf)
-
Vincent Danos: Un calcul de protéïnes formelles(ps)
|
|
15.45 - 18.00
|
Discussion :
-
Sélection des systèmes biologiques à modéliser
-
Définition des problèmes-cibles de représentation
: propriétés souhaitées, modalités d'évaluation
des modèles et des formalismes
-
Choix des formalismes « de départ »
|
.