****************************************************************************
RECALL, Please diffuse this CFP widely
Our apologies for the inconvenience if you receive multiple copies
****************************************************************************
Submission Dates Abstract1
July 2006
Papers13 July 2006
Tool or Industrial
papers8
September 2006
Tutorial proposals1
December 2006
Notification Dates Acceptance 25
September 2006
Final copy for
Proceedings16 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.
Topics 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
LIFC
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: http://lifc.univ-fcomte.fr/b2007
Submissions 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 http://www.springer.de/comp/lncs/authors.html 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.
Tutorials 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 ChairJ.
Julliand
Poster and
toolsF.
Bouquet
Tutorials, invited
speakersO.
Kouchnarenko
Industrial
EventM.-L.
Potet
SubmissionsB.
Tatibouët
RegistrationB. Bataillard
AccomodationC. 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é
LIFC (FRE CNRS 2661)
---------------------------------------------------------------
16, route de Gray
25030 Besançon Cedex