Réunion de démarrage
du 14 février 2002 (Chevaleret Paris 7)
10.30 - 11.00 |
Café |
11.00 - 11.30 |
Présentation du projet Contraintes - François
Fages (ppt)
Survol des axes de recherche du projet
Démonstration du système de visualisation CLPGUI
|
11.30 - 12.00 |
Présentation du BSMI - Magali Roux-Rouquié
Problématique de la biologie post-génomique
Métamodèles et systèmes biologiques
|
12.00 - 12.30 |
Présentation de Vincent Danos
La cascade RTK/MAPK: de la notation graphique
à la notation formelle dans un pi-calcul adapté
|
12.30 - 13.00 |
Presentation de l'action ModBIO- Alexander Bockmayr
Survol des axes de recherche de l'action (ppt)
Formalisations opérationnelles dans le langage Hybride CC (hcc.pdf)
|
13.30 - 15.00 |
Déjeuner |
15.00 - 16.00 |
Presentation d'Hybrigenics - Vincent Schächter
(ppt)
Ontologie du gène
Cartes d'interaction proteines-proteines
Applications possibles des formalismes
|
16.00 - 16.30 |
Café |
16.30 - 18.00 |
Discussion et organisation
Besoin de préciser les applications et les évaluations de
nos modèles
Conférences et groupes constitués
Prochaines réunions
|