Association de pilotage des conférences B
Biographie
Article 3 des statuts : "L'association favorise... la diffusion de la méthode B de spécification et de développement formel de logiciel. Elle constitue le comité de pilotage de la série des conférences internationales appelées "la Conférence internationale B/the International B conference". Elle se veut à vocation internationale".