Atelier B 3.7.1

La version 3.7.1 de l’Atelier B est disponible. Elle corrige des anomalies mineures de l’atelier B sur le vérificateur de type et l’interface de preuve, et améliore la compatibilité avec l’interface de preuve xemacs EMACSPRI. La liste des corrections est disponible ici : historique des versions. La future version 3.7.2 est actuellement en développement et […]

Conférence : la Méthode B, de la Recherche à l’Enseignement

L’université de Nantes organise une conférence dédiée à la Méthode B. Elle se déroulera le 16 juin 2008, à la Cité Internationale des Congrès, dans la ville de Nantes. Pour connaître le programme de cette conférence, nous vous invitons à découvrir : le site de la conférence de Nantes le blog consacré à la conférence

Conférence ABZ 2008 du 16 au 18 septembre 2008, à Londres

La conférence ABZ 2008 a pour objectif de réunir les communautés B, Z et ASM. Elle sera organisée autour d’une journée commune et de 2 journées propres à chaque communauté, soit : the 15th International ASM Workshop, the 17th International Conference of Z Users, the 8th International Conference on the B Method. Les Informations sont […]

Rodin Industry Day

Clearsy a organisé la journée Rodin Industry Day 2007. La journée a eu lieu à Paris, le 10 septembre 2007 et a consisté à présenter l’état d’avancement des développements de Rodin et de ses plugins, ainsi que des exemples d’application. Pour en savoir plus, rendez-vous sur cette page : Programme et participation…