Brigitte Bataillard
Secrétariat B2007
LIFC - 16, Route de Gray
25030 BESANCON Cedex
FRANCE
Phone: +33 (0)3 81 66 65 15
Fax: +33 (0)3 81 66 64 50
bataillard@lifc.univ-fcomte.fr

Call for papers - PDF

B is an important formal method which is widely used in both academia and industry for the specification and verification of both hardware and software systems. B2007 is the 7th International Conference on the B Method. The first one was held in the city of Nantes in 1996. The five next editions were held in the cities of Montpellier (1998), York (UK, 2000), Grenoble (2002), Turku (Finland, 2003) and Guildford (UK, 2005).

The program committee invites authors to submit papers on the B Method, or on the use of similar formal approaches and formal methods in general. Particularly, the program committee encourages the contributions focused on industrial applications, and therefore asks the authors to specify their submission topics (see below). Accepted papers will be presented at the conference and included in the proceedings published by Springer in the Lecture Notes in Computer Science series.

The conference will also feature a range of contributions from distinguished invited speakers drawn from both industry and academia. The invited speakers will address significant recent industrial applications of formal methods, as well as important academic advances serving to enhance their potency and widen their applicability.

Besides its formal session the conference will feature two events:
- tool session
- an industrial half day session

Call for papers - PDF