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
- FM'2008 - Turku, Finland - May 28-30, 2008 - Posters and research tools: BART (Thierry Lecomte)
- The B Method: from research to teaching - Nantes - June 16, 2008 - Tool demonstration: BART (Antoine Requet)
- SBMF'2008: Brasilian Symposium on Formal Methods - Salvador, Brésil -August 26-29, 2008 - B Dissemination Day (Thierry Lecomte)
- 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
Présentation de BART