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…