Réunions

  • Réunion de lancement du projet 18 et 19 décembre 2006 à Bordeaux LABRI
  • Réunion le 24 avril 2007 à Paris chez ClearSy
  • Réunion le 2 juillet 2007 à Paris chez ClearSy
  • RODIN INDUSTRY DAY 10 September 2007 Paris
  • Réunion le 5, 6, 7 novembre 2007 à Paris pour le colloque STIC
  • 2007 Isola Workshop On Leveraging Applications of Formal Methods,Verification and Validation, Poitiers, France, December 12-14 2007 L'équipe MOSEL présentera une communication sur l'intégration du temps dans le développement par raffinement.
  • Réunion le 20 décembre chez ClearSy à Paris; cette réunion concerne tous les partenaires du projet
  • Visite de Jonathan Thiebault,ingénieur RIMEL au LABRI: cette visite a permis à Jonathan de mieux comprendre le langage Event B et le lien à créer avec VISIDIA. La visite a eu lieu la troisième semaine de Janvier 2008.
  • Réunion le 10 avril 2008 à Paris; cette réunion concerne tous les partenaires du projet
  • Réunion le 30 juin 2008 à Paris; cette réunion concerne tous les partenaires du projet
  • Présentation de BART

    1. FM'2008 - Turku, Finland - May 28-30, 2008 - Posters and research tools: BART (Thierry Lecomte)
    2. The B Method: from research to teaching - Nantes - June 16, 2008 - Tool demonstration: BART (Antoine Requet)
    3. SBMF'2008: Brasilian Symposium on Formal Methods - Salvador, Brésil -August 26-29, 2008 - B Dissemination Day (Thierry Lecomte)
    4. Instituto de Pesquisas Tecnologicas Technical Workshop -Sao Paulo, Brésil - August 28, 2008 - B Dissemination Day (Thierry Lecomte)

  • Réunion d'évaluation ANR à Paris le 4 septembre 2008 pour le mi-parcours
  • Réunion le 18 décembre 2008 à Paris; cette réunion concerne tous les partenaires du projet
  • Réunion le 28 avril 2009 à Paris; cette réunion concerne tous les partenaires du projet
  • Visite et séjour de Dominique Méry au LABRI le 13 et 14 mai avec des échanges sur l'outil B2VISIDIA développé par M Mosbah et M Tounsi. Discussions avec Vincent Filou et Pierre Casteran sur le langage commun de traduction vers VISIDIA.
  • Réunion le 30 juin 2009 à Paris; cette réunion concerne tous les partenaires du projet
  • Workshop on Recent Innovations and Applications in B [RIAB] à Eindhoven le 3 novembre 2009 organisé par Thierry Lecomte. Dominique Méry a présenté l'état des rehcerches dans RIMEL et a focalisé sur le lien EventB Visidia et Thierry Lecomte a exposé l'outil BART et ses fonctionnalités.
  • Réunion le 15 décembre 2009 à Bordeaux; cette réunion concerne tous les partenaires du projet
  • Visite et travail le 16 décembre 2009 à Bordeaux: Dominique Méry a travaillé avec Mohammed Mosbah, Mohammed Touns, Cédric Guerrei et Yves Métivier sur ls calculs locaux et leur intégration dans Event B.
  • Visite et travail en mai 2010 à Bordeaux: Dominique Méry a travaillé avec Mohammed Mosbah, Mohammed Tounsi, Pierre Castéran et Yves Métivier sur ls calculs locaux et leur intégration dans Event B.
  • Envoi du rapport final à l'ANR le 31 août 2010