RECALL, Please diffuse this CFP widely
Our apologies for the inconvenience if you receive multiple copies

CFP B'2007
In Besançon, France
Organized by the APCB,
local organization by the University of Franche-Comté (LIFC Laboratory)
[log in to unmask]

Submission Dates
Abstract        1 July 2006
Papers  13 July 2006
Tool or Industrial papers       8 September 2006
Tutorial proposals      1 December 2006

Notification Dates
Acceptance      25 September 2006
Final copy for Proceedings      16 October 2006
Early registration deadline     1 December 2006

Conference Theme
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 next five editions were held in the cities of Montpellier (1998), York (UK, 2000), Grenoble (2002), Turku (Finland, 2003) and Guildford (UK, 2005).
The programme 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 programme 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 a Lecture Notes of Computer Science.
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 sessions the conference will feature tool demonstrations and posters. The programme committee invites the authors of tools or industrial experiences to submit short papers about their tools or experiences. Accepted short papers will be presented at the conference and published by Springer. It is also envisaged that a programme of special tutorials may precede the main conference.

The topics of the conference include, but are not limited to:
1. Industrial applications and case studies using B
2. Integration of model-based specification methods in the software development lifecycle
3. Derivation of hardware-software architecture from model-based specifications
4. Expressing and validating requirements through formal models (animation, test generation, etc.)
5. Theoretical issues in formal development, (e.g. refinement, proof process, proof validation)
6. Model-based software testing versus proof-oriented development
7. Tools supporting the B method
8. Component and refinement based development of specifications
9. Validation of COTS by model-based specification methods
10. B extensions and/or standardization

Further Information
General enquiries about the meeting may be directed to:
Brigitte Bataillard
25 030 Besançon Cedex, France.
Email: [log in to unmask]
Phone: +33-381.66.65.15 Fax: 64.50
On-line and up-to-date conference information may be found under the following World Wide Web URL:

Papers should describe original work, not submitted or published elsewhere. Electronic submissions are strongly encouraged: PostScript or Adobe PDF files should be sent via the submission page accessible from the Web site of the conference (http://lifc.univ-fcomte.fr/b2007). The proceedings will be published in the Springer-Verlag LNCS Series, and authors are therefore urged to follow the style guidelines at
Papers should be no longer than 15 pages (when formatted in the LNCS style), and should be written in English. Tool papers should be no longer than 4 pages and Industrial propositions should be no longer than 2 pages. Each submission should include a cover page containing: title, abstract, keywords, postal and email addresses of all authors, voice and fax number of contact author. Industrial applications are especially encouraged. Authors of accepted papers will be expected to provide their final version in LaTeX format.
If these requirements present particular diffi-culties, please send email to [log in to unmask] explaining the situation: the organisers will endeavour to accommodate special circumstances.

Proposals for tutorials should be sent to [log in to unmask] or to the tutorial session chair:   Olga Kouchnarenko
        Email: [log in to unmask]
        Phone: +33-381.66.65.24

Tool Short Papers, Tool Demons-trations and Exhibitions
Proposals for tool short papers, tool demons-trations and exhibitions including poster displays of current projects and products should be sent to [log in to unmask]. Authors are invi-ted to submit 4 pages (in LNCS style). Accepted submissions must be presented at the conference and will be included in the proceedings published. Any general enquiries about tool demonstrations, tool short papers and exhibitions may be sent to:
Fabrice Bouquet (Tools Session Chair)
Email: [log in to unmask]
Phone: +33-381.66.66.64

Industrial Events
Authors are invited to submit 2 pages (in LNCS style or WORD Times 12 pt). Accepted submis-sions must be presented at the conference by an industrial party and will be included in the proceedings published.
Proposals should be sent to: Marie-Laure Potet
Laboratoire LSR, B.P. 72
38 402 Saint Martin d'Hères cedex France.
Email: [log in to unmask]
Phone: +33-476.82.72.69, Fax: 72.87

Contact Information
General Chair   J. Julliand
Poster and tools        F. Bouquet
Tutorials, invited speakers     O. Kouchnarenko
Industrial Event        M.-L. Potet
Submissions     B. Tatibouët
Registration    B. Bataillard
Accomodation    C. Bigey

Programme Committee
·       Richard Banach, U. of Manchester, UK
·       Didier Bert, CNRS, LSR-IMAG, France
·       Juan Bicarregui, CLRC, Oxfordshire, UK
·       Lilian Burdy, Clearsy, France
·       Michael Butler, U. of Southampton, UK
·       Dominique Cansell, LORIA & U. Metz, F.
·       Daniel Dolle, Siemens Transportation Systems, Montrouge, France
·       Steve Dunne, University of Teesside, UK
·       Mamoun Filali, IRIT, CNRS Toulouse, France
·       Marc Frappier, U. de Sherbrooke, Canada
·       Andy Galloway, University of York, UK
·       Henri Habrias, LINA, U. de Nantes, France
·       Jacques Julliand, U. de Besançon, France
·       Olga Kouchnarenko, U. de Besançon, France
·       Regine Laleau, LACL, U. Créteil, France
·       Jean-Louis Lanet, Gemplus, France
·       Annabelle McIver, Macquarie University, Sydney, Australia
·       Luis-Fernando Mejia, Alstom Transport Signalisation, Paris, France
·       Marie-Laure Potet, LSR-IMAG, Grenoble, France
·       Ken Robinson, U. of New South Wales, Australia
·       Emil Sekerinski, McMaster University Ontario, Canada
·       Helen Treharne, University of Surrey, UK
·       Mark Utting, U. of Waïkato, New Zealand
·       Véronique Viguié Donzeau-Gouge, CNAM, Paris, France
·       Marina Waldén, Abo Akademi University, Turku, Finland

Bien sincèrement.

        Jacques Julliand
Directeur du Laboratoire d'Informatique de l'
Université de Franche-Comté
16, route de Gray
25030 Besançon Cedex

tel : (33)
secrétariat : (ou 65.15), Fax : 64.50

E-mail : [log in to unmask]
Web : http://lifc.univ-fcomte.fr