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

  • Retour à la page de CPBIO.