Evénements en lien avec la thématique de RIMEL
- Nazim Benaissa présentera les travaux sur les patrons appliqués à l'analyse des protocoles cryptologiques dans le cadre de la conférence PSI 2009 à Novosibisrsk en Juin 2009.
- Le Professeur Dines Bjoerner a séjourné deux jours dans l'équipe MOSEL. Il a donné un exposé sur la méréologie et ses applications à l'informatique.
- Programme du Forum AFIS Ingénierie Système 27, 28, 29 novembre 2007 à Nancy Université: Dominique Méry a modéré un atelier sur l'ingénierie dirigée par les modèles
- Un séminaire To B or in any Event To B a été organisé le 6 décembre 2007; le Professeur Dines Bjoerner et le Professeur J.-R. Abrial ont présenté des travaux sur leur thématique propre. D. Cansell a présenté un travail sur les patrons de développement et P. Gibson a donné un exposé sur l'enseignement de l'informatique aux jeunes enfants.
- Logics of Specification Languages va paraître dans la série Monographs in Theoretical Computer Science. An EATCS Series Bjorner, Dines; Henson, Martin C. (Eds.). Un chapitre sur Event B est coécrit par Dominique Cansell et Dominique Méry.
- Le Professeur Dines Bjoerner a séjourné deux mois dans l'équipe MOSEL. Il a donné un cours Lectures on Domain Engineering en master informatique et il a travaillé avec les membres locaux du projet RIMEL sur le domaine du transport.
- Présentation de BART à FM 2008 et à ABZ 2008.
