==========================================================================
Notice of Meeting and First Call for Papers
ZB2002
2nd International Conference of B and Z Users
23 January - 25 January 2002
Grenoble, France
Organized by the APCB and the Z User Group
URL: http://www-lsr.imag.fr/zb2002/
Local organization by the LSR-IMAG Laboratory
E-mail: [log in to unmask]
==========================================================================
Conference Theme
----------------
In August 2000 the first International Conference of B and Z Users
(ZB2000) was held in the historic city of York in the north of
England. The second joint Z and B International Conference will be
held in Grenoble, in the heart of the French Alps.
B and Z are two important formal methods which share a common conceptual
origin; each is widely used in both academia and industry for the
specification and verification of both hardware and software systems.
In ZB2002 the B and Z communities are coming together to hold
a joint conference which will simultaneously incorporate the
13th International Conference of Z Users and the 4th International
Conference on the B Method. Although organised logistically as an
integral event, editorial control of the joint conference remains
vested in two separate program committees which will respectively
determine its B and Z content.
Accordingly, the two program committees invite authors to submit papers
on the B Method or the Z formal notation in particular, or on the use
of similar formal approaches and formal methods in general. In
particular, the program committees encourage contributions focused
on industrial applications. Accepted papers will be presented at the
conference and included in the proceedings published by Springer.
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 publishers' displays. It is also envisaged that a
program of special tutorials may precede the main conference.
---------------------------------------------------------------------------
Topics
------
The topics of the conference include, but are not limited to:
- Industrial applications and case studies using Z or using B
- Integration of model-based specification methods in the software
development lifecycle
- Derivation of hardware-software architecture from model-based
specifications
- Expressing and validating requirements through formal models
- Theoretical issues in formal development, (e.g. issues
in refinement, the proof process, or proof validation, etc.)
- Software testing versus proof-oriented development
- Tools supporting tools for the Z notation and the B method
- Development by composition of specifications
- Validation of assembly of COTS by model-based specification methods
- Z and B extensions and/or standardization
---------------------------------------------------------------------------
Important Dates
---------------
NOTE: THE SUBMISSION DEADLINE IS 13TH JULY 2001
The schedule for submissions is as follows:
Submission of draft paper: 13 July 2001
Notification of acceptance: 1 October 2001
Final copy for Proceedings: 26 October 2001
Tutorial day: 22 January 2002
Conference days: 23-25 January 2002
---------------------------------------------------------------------------
Further Information
-------------------
General enquiries about the meeting may be directed to:
Didier Bert
LSR-IMAG
BP 72
38402 Saint Martin d'Heres Cedex
France.
Email: [log in to unmask]
Phone: +33-476-82-72-16 Fax: +33-476-82-72-87
On-line and up-to-date conference information may be found under the
following World Wide Web URL:
http://www-lsr.imag.fr/zb2002/
---------------------------------------------------------------------------
Submissions
-----------
Papers should describe original work, not submitted or published
elsewhere. Electronic submissions are strongly encouraged: PostScript
or Adobe PDF files should be sent to [log in to unmask] 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
NB: Authors must nominate which Program Committee (Z or B) they wish
to consider their submission initially. Either committee may refer a
paper to the other committee for consideration.
Papers should be no longer than 20 pages (when formatted in the LNCS
style), and should be written in English. 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, and a note of which Program Committee should initially
consider the paper. Industrial applications are especially encouraged.
Authors of accepted papers will be expected to provide their final
versions in LaTeX format.
If these requirements present particular difficulties, please send
email to [log in to unmask] explaining the situation: the organisers
will endeavour to accommodate special circumstancies. Alternatively,
submission queries may be sent to:
Didier Bert (B submissions) Martin C. Henson (Z submissions)
LSR-IMAG laboratory Department of Computer Science
BP 72 University of Essex,
38402 Saint Martin d'Heres Cedex Wivenhoe Park, Colchester CO4 3SQ
France. United Kingdom.
Email: [log in to unmask] Email: [log in to unmask]
Phone: +33-476-82-72-16 Phone: +44 1206 872341
Fax: +33-476-82-72-87 Fax: +44 1206 872788
---------------------------------------------------------------------------
Tutorials
---------
Proposals for tutorials should be sent to [log in to unmask] or to the
tutorial session chair:
Henri Habrias (Tutorial Session Chair)
I.R.I.N
2, rue de la Houssiniere,
44072 Nantes Cedex 03, France.
E-mail: [log in to unmask]
Phone: +33-251-12-58-23 Fax: +33-251-12-58-12
---------------------------------------------------------------------------
Tool Demonstrations and Exhibitions
-----------------------------------
Proposals for tool demonstration and exhibitions should be sent to
[log in to unmask] Any general enquiries about tool demonstration
and exhibitions may be directed to:
Dr Mark d'Inverno (Tool Demonstration Chair)
Cavendish School of Computer Science
115, New Cavendish Street
London W1W 6UW, UK
E-mail: [log in to unmask]
Phone: +44 (0) 20 7911 5131
---------------------------------------------------------------------------
Organizing Committee
--------------------
(to be completed)
Marie-Laure Potet (Chairwoman)
LSR-IMAG
BP 72
38402 Saint Martin d'Heres Cedex
France.
Email: [log in to unmask]
Phone: +33-476 82 7269 Fax: +33-476 82 7287
---------------------------------------------------------------------------
B Program Committee
---------------------
Didier Bert, CNRS, LSR-IMAG, France, (Program Chair)
Ken Robinson, The University of New South Wales, Australia, (Co-chair)
Christian Attiogbe, University of Nantes, France
Richard Banach, University of Manchester, UK
Juan Bicarregui, CLRC, Oxfordshire, UK
Pierre Bieber, CERT, Toulouse, France
Egon Boerger, University of Pisa, Italy
Michael Butler, University of Southampton, UK
Dominique Cansell, LORIA, University of Metz, France
Pierre Chartier, RATP, Paris, France
Steve Dunne, University of Teesside, UK
Mark Frappier, University of Sherbrooke, Canada
Andy Galloway, University of York, UK
Jacques Julliand, University of Besancon, France
Jean-Louis Lanet, GemPlus Research Lab, France
Brian Matthews, CLRC, Oxfordshire, UK
Luis-Fernando Mejia, Alstom Transport Signalisation, France
Jean-Marc Meynadier, Matra Transport, France
Louis Mussat, Consultant, France
Marie-Laure Potet, LSR-IMAG, Grenoble, France
Emil Sekerinski, McMaster University, Canada
Bill Stoddart, University of Teesside, UK
Helen Treharne, Royal Holloway, UK
Ve'ronique Viguie' Donzeau-Gouge, CNAM, Paris, France
Marina Walden, Abo Akademi, Finland
---------------------------------------------------------------------------
Z Program Committee
-------------------
Jonathan Bowen, South Bank University, London, UK (Conference Chair)
Martin Henson, University of Essex, UK (Program chair)
Ali Abdallah, South Bank University, London, UK
Rob Arthan, Lemma 1, Reading, UK
Paolo Ciancarini, University of Bologna, Italy
Neville Dean, Anglia Polytechnic University, UK
John Derrick, The University of Kent at Canterbury, UK
Mark d'Inverno, University of Westminster, UK
Wolfgang Grieskamp, Microsoft Research, USA
Henri Habrias, University of Nantes, France
Jonathan Hammond, Praxis Critical Systems, UK
Ian Hayes, University of Queensland, Australia
Mike Hinchey, University of Queensland, Australia
Jonathan Jacky, University of Washington, USA
Randolph Johnson, National Security Agency, USA
Steve King, University of York, UK
Kevin Lano, Kings College London, UK
Yves Ledru, LSR-IMAG, Grenoble, France
Shaoying Liu, Hosei University, Japan
Jean-Francois Monin, France Telecom R&D, France
Fiona Polack, University of York, UK
Norah Power, University of Limerick, Ireland
Steve Reeves, University of Waikato, New Zealand
Mark Saaltink, ORA, Ottawa, Canada
Thomas Santen, Technical University of Berlin, Germany
Alf Smith, DERA Malvern, UK
Susan Stepney, Logica Cambridge, UK
Sam Valentine, University of York, UK
John Wordsworth, The University of Reading, UK
---------------------------------------------------------------------------
|
