<html>
****************************************************************************<br>
RECALL, Please diffuse this CFP widely<br>
Our apologies for the inconvenience if you receive multiple copies <br>
****************************************************************************<br>
<br>
<div align="center">
<font size=5><b>CFP B'2007<br>
</b></font>In Besançon, France<br>
Organized by the APCB,<br>
local organization by the University of Franche-Comté (LIFC
Laboratory)<br>
<font color="#0000FF"><u><a href="http://lifc.univ-fcomte.fr/b2007/" eudora="autourl">http://lifc.univ-fcomte.fr/b2007/</a><br>
b2007@lifc.univ-fcomte.fr<br>
<br>
<br>
</u></font></div>
<font size=4><b>Submission Dates<br>
</b></font>Abstract<x-tab> </x-tab>1
July 2006<br>
Papers<x-tab> </x-tab>13 July 2006<br>
Tool or Industrial
papers<x-tab> </x-tab>8
September 2006<br>
Tutorial proposals<x-tab> </x-tab>1
December 2006<br>
<br>
<font size=4><b>Notification Dates<br>
</b></font>Acceptance <x-tab> </x-tab>25
September 2006<br>
Final copy for
Proceedings<x-tab> </x-tab>16 October
2006<br>
Early registration deadline <x-tab> </x-tab>1
December 2006<br>
<br>
<font size=4><b>Conference Theme<br>
</b></font>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).<br>
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.<br>
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.<br>
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.<br>
<br>
<font size=4><b>Topics<br>
</b></font>The <b>topics</b> of the conference include, but are not
limited to:<br>
1. Industrial applications and case studies using B<br>
2. Integration of model-based specification methods in the software
development lifecycle<br>
3. Derivation of hardware-software architecture from model-based
specifications<br>
4. Expressing and validating requirements through formal models
(animation, test generation, etc.)<br>
5. Theoretical issues in formal development, (e.g. refinement, proof
process, proof validation)<br>
6. Model-based software testing versus proof-oriented development<br>
7. Tools supporting the B method<br>
8. Component and refinement based development of specifications<br>
9. Validation of COTS by model-based specification methods<br>
10. B extensions and/or standardization<br>
<br>
<font size=4><b>Further Information<br>
</b></font>General enquiries about the meeting may be directed to:<br>
Brigitte Bataillard<br>
LIFC<br>
25 030 Besançon Cedex, France. <br>
Email: <font color="#0000FF"><u>b2007@lifc.univ-fcomte.fr<br>
</u></font>Phone: +33-381.66.65.15 Fax: 64.50<br>
On-line and up-to-date conference information may be found under the
following World Wide Web URL:<br>
<font color="#0000FF"><u><a href="http://lifc.univ-fcomte.fr/b2007" eudora="autourl">http://lifc.univ-fcomte.fr/b2007</a><br>
<br>
</u></font><font size=4><b>Submissions<br>
</b></font>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
(<a href="http://lifc.univ-fcomte.fr/b2007" eudora="autourl"><font color="#0000FF"><u>http://lifc.univ-fcomte.fr/b2007</a></u></font>).
The proceedings will be published in the Springer-Verlag LNCS Series, and
authors are therefore urged to follow the style guidelines at<br>
<font color="#0000FF"><u><a href="http://www.springer.de/comp/lncs/authors.html" eudora="autourl">http://www.springer.de/comp/lncs/authors.</a><a href="http://www.springer.de/comp/lncs/authors.html" eudora="autourl">html<br>
</a></u></font>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.<br>
If these requirements present particular diffi-culties, please send email
to <font color="#0000FF"><u>b2007@lifc.univ-fcomte.fr</u></font>
explaining the situation: the organisers will endeavour to accommodate
special circumstances.<br>
<br>
<font size=4><b>Tutorials<br>
</b></font>Proposals for tutorials should be sent to
<font color="#0000FF"><u>b2007@lifc.univ-fcomte.fr</u></font> or to the
tutorial session chair:<x-tab> </x-tab>Olga
Kouchnarenko<br>
<x-tab> </x-tab>Email:
<font color="#0000FF"><u>kouchnarenko@lifc.univ-fcomte.fr<br>
</u></font><x-tab> </x-tab>Phone:
+33-381.66.65.24<br>
<br>
<font size=4><b>Tool Short Papers, Tool Demons-trations and
Exhibitions<br>
</b></font>Proposals for tool short papers, tool demons-trations and
exhibitions including poster displays of current projects and products
should be sent to
<font color="#0000FF"><u>b2007-tools@lifc.univ-fcomte.fr</u></font>.
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:<br>
Fabrice Bouquet (Tools Session Chair)<br>
Email: <font color="#0000FF"><u>bouquet@lifc.univ-fcomte.fr<br>
</u></font>Phone: +33-381.66.66.64<br>
<br>
<font size=4><b>Industrial Events<br>
</b></font>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.<br>
Proposals should be sent to: Marie-Laure Potet<br>
Laboratoire LSR, B.P. 72<br>
38 402 Saint Martin d'Hères cedex France. <br>
Email: <font color="#0000FF"><u>Marie-Laure.Potet@imag.fr<br>
</u></font>Phone: +33-476.82.72.69, Fax: 72.87<br>
<br>
<font size=4><b>Contact Information<br>
</b></font>General Chair<x-tab> </x-tab>J.
Julliand<br>
Poster and
tools<x-tab> </x-tab>F.
Bouquet<br>
Tutorials, invited
speakers<x-tab> </x-tab>O.
Kouchnarenko<br>
Industrial
Event<x-tab> </x-tab>M.-L.
Potet<br>
Submissions<x-tab> </x-tab>B.
Tatibouët<br>
Registration<x-tab> </x-tab>B. Bataillard<br>
Accomodation<x-tab> </x-tab>C. Bigey<br>
<br>
<font size=4><b>Programme Committee<br>
</b></font><font face="Symbol">·<x-tab> </x-tab></font>Richard
Banach, U. of Manchester, UK<br>
<font face="Symbol">·<x-tab> </x-tab></font>Didier
Bert, CNRS, LSR-IMAG, France<br>
<font face="Symbol">·<x-tab> </x-tab></font>Juan
Bicarregui, CLRC, Oxfordshire, UK<br>
<font face="Symbol">·<x-tab> </x-tab></font>Lilian
Burdy, Clearsy, France<br>
<font face="Symbol">·<x-tab> </x-tab></font>Michael
Butler, U. of Southampton, UK<br>
<font face="Symbol">·<x-tab> </x-tab></font>Dominique
Cansell, LORIA & U. Metz, F.<br>
<font face="Symbol">·<x-tab> </x-tab></font>Daniel
Dolle, Siemens Transportation Systems, Montrouge, France<br>
<font face="Symbol">·<x-tab> </x-tab></font>Steve
Dunne, University of Teesside, UK<br>
<font face="Symbol">·<x-tab> </x-tab></font>Mamoun
Filali, IRIT, CNRS Toulouse, France<br>
<font face="Symbol">·<x-tab> </x-tab></font>Marc
Frappier, U. de Sherbrooke, Canada<br>
<font face="Symbol">·<x-tab> </x-tab></font>Andy
Galloway, University of York, UK<br>
<font face="Symbol">·<x-tab> </x-tab></font>Henri
Habrias, LINA, U. de Nantes, France<br>
<font face="Symbol">·<x-tab> </x-tab></font>Jacques
Julliand, U. de Besançon, France<br>
<font face="Symbol">·<x-tab> </x-tab></font>Olga
Kouchnarenko, U. de Besançon, France<br>
<font face="Symbol">·<x-tab> </x-tab></font>Regine
Laleau, LACL, U. Créteil, France<br>
<font face="Symbol">·<x-tab> </x-tab></font>Jean-Louis
Lanet, Gemplus, France<br>
<font face="Symbol">·<x-tab> </x-tab></font>Annabelle
McIver, Macquarie University, Sydney, Australia<br>
<font face="Symbol">·<x-tab> </x-tab></font>Luis-Fernando
Mejia, Alstom Transport Signalisation, Paris, France<br>
<font face="Symbol">·<x-tab> </x-tab></font>Marie-Laure
Potet, LSR-IMAG, Grenoble, France<br>
<font face="Symbol">·<x-tab> </x-tab></font>Ken
Robinson, U. of New South Wales, Australia<br>
<font face="Symbol">·<x-tab> </x-tab></font>Emil
Sekerinski, McMaster University Ontario, Canada<br>
<font face="Symbol">·<x-tab> </x-tab></font>Helen
Treharne, University of Surrey, UK<br>
<font face="Symbol">·<x-tab> </x-tab></font>Mark
Utting, U. of Waïkato, New Zealand<br>
<font face="Symbol">·<x-tab> </x-tab></font>Véronique
Viguié Donzeau-Gouge, CNAM, Paris, France<br>
<font face="Symbol">·<x-tab> </x-tab></font>Marina
Waldén, Abo Akademi University, Turku, Finland<br>
<br>
<br>
<br>
<x-sigsep><p></x-sigsep>
Bien sincèrement.<br>
<br>
Jacques Julliand<br>
---------------------------------------------------------------<br>
Directeur du Laboratoire d'Informatique de l'<br>
Université de Franche-Comté<br>
LIFC (FRE CNRS 2661)<br>
---------------------------------------------------------------<br>
16, route de Gray<br>
25030 Besançon Cedex<br>
<br>
tel : (33) 03.81.66.64.51<br>
secrétariat : 03.81.66.64.55 (ou 65.15), Fax : 64.50<br>
<br>
E-mail : jacques.julliand@lifc.univ-fcomte.fr<br>
Web :
<a href="http://lifc.univ-fcomte.fr/" eudora="autourl">http://</a>lifc.univ-fcomte<a href="http://lifc.univ-fcomte.fr/" eudora="autourl">.fr</a><br>
---------------------------------------------------------------<br>
<br>
</html>