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.