APCB logo

APCB
Association de Pilotage des Conférences B
The International B Conference Steering Committee


Current Events:

Previous Events:

About APCB:

The APCB (Association de Pilotage des Conférences B, or in English The International B Conference Steering Committee) organizes conferences about the B-Method, one of the leading formal methods, used in high-integrity software engineering. It has organized B meetings and conferences. From 2000, these became the ZB Conference (jointly with the Z notation, co-organized with the Z User Group), and from 2008 the ABZ conference (with Abstract State Machines as well). In 2010, the ABZ conference also included Alloy.

Contact: