==========================================================================
Notice of Meeting and Call for Papers
Submission deadline: November 1st 2004
ZB2005
4th International Conference of B and Z Users
13-15 April 2005
University of Surrey, Guildford, UK
http://www.surrey.ac.uk/
Organized by the APCB and the Z User Group
http://www.zb2005.org/
===========================================================================
Submissions are via the conference website. The schedule
for submissions is as follows:
Submission of draft paper: 1 November 2004
Submission of tutorial proposal: 22 November 2004
Notification of acceptance: 13 December 2004
Final copy for Proceedings: 14 January 2005
Tutorial day: 12 April 2005
Conference days: 13-15 April 2005
---------------------------------------------------------------------------
Invited Speakers
----------------
Carroll Morgan
University of New South Wales, Australia
Cliff Jones
University of Newcastle, UK
Frederic Badeau
Clearsy, France.
---------------------------------------------------------------------------
Conference Theme
----------------
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 ZB2005 the B and Z communities are coming together to hold
a joint conference which will simultaneously incorporate the
15th International Conference of Z Users and the 6th International
Conference on the B Method. Although organised logistically as an
integral event, editorial control of the joint conference remains
vested in two separate programme committees which will respectively
determine its B and Z content.
Accordingly, the two programme 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 programme committees encourage contributions focused
on industrial applications, and therefore ask authors to specify if
their submission is to be reviewed as an industrial application (see
below). 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
programme 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 the Z notation and the B method
- Development by composition of specifications
- Validation of COTS by model-based specification methods
- Z and B extensions and/or standardization
---------------------------------------------------------------------------
Further Information
-------------------
General enquiries about the meeting may be directed to:
Steve Schneider (Conference Chair)
Department of Computing
School of Electronics and Physical Sciences
University of Surrey
Guildford, Surrey, GU2 7XH
email: [log in to unmask]
On-line and up-to-date conference information may be found under the
following World Wide Web URL:
http://www.zb2005.org/
---------------------------------------------------------------------------
Submissions
-----------
Papers should describe original work, not submitted or published
elsewhere. Electronic submissions are strongly encouraged, and
submission details will be posted on http://www.zb2005.org/ 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 Programme Committee (Z or B) they wish
to consider their submission initially. Either committee may refer a
paper to the other committee for consideration.
Authors must also specify if their submission is to be reviewed as an
industrial paper. In this case reviewing criteria more appropriate to
industrial submissions will be applied.
Papers should be no longer than 20 pages (when formatted in the LNCS
style) with a preferred length of about 15 pages, 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 Programme 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 to enable electronic submission in the LNCS Series.
Tutorials
---------
Proposals and enquiries for tutorial sessions should be sent to the
tutorial session chair:
Ken Robinson (Tutorial Session Chair)
School of Computer Science and Engineering.
University of New South Wales,
Sydney 2052 NSW, Australia
email: [log in to unmask]
The deadline for tutorial submissions is November 22nd 2004.
Tools
-----
Proposals are invited for tool demonstration and exhibitions,
including poster displays of current projects and products. Proposals
and general enquiries should be sent to the tools chair:
James Heather (Tools Chair)
Department of Computing
School of Electronics and Physical Sciences
University of Surrey
Guildford, Surrey, GU2 7XH
email: [log in to unmask]
Proposals will be considered up to the date of the conference.
---------------------------------------------------------------------------
B Programme Committee
---------------------
Helen Treharne, Royal Holloway University of London,
and University of Surrey (Chair)
Steve Schneider, Royal Holloway, University of London,
and University of Surrey (Conference Chair)
Richard Banach, University of Manchester
Juan Bicarregui, CLRC, Oxfordshire
Dominique Cansell, LORIA, University of Metz
Daniel Dolle, Siemens Transportation Systems
Steve Dunne, University of Teesside
Mamoun Filali, CNRS, IRIT, Toulouse
Marc Frappier, Universite de Sherbrooke
Andy Galloway, University of York
Henri Habrias, LIANA, Universite de Nantes
Adrian Hilton, Praxis Critical Systems Ltd
Jacques Julliand, Universite de Besancon
Regine Laleau, LACL, IUT Fontainebleau
Annabelle McIver, Macquarie University, Sydney
Luis-Fernando Mejia, Alstom Transport Signalisation
Mike Poppleton, University of Southampton
Marie-Laure Potet, LSR-IMAG, Grenoble
Ken Robinson, University of New South Wales
Emil Sekerinski, McMaster University
Veronique Viguie Donzeau-Gouge, CNAM, Paris
Marina Walden, Abo Akademi University
---------------------------------------------------------------------------
Z Programme Committee
---------------------
Steve King, University of York, UK (Chair)
Martin Henson, University of Essex, UK (Chair)
Keijiro Araki, Kyushu University
Rob Arthan, Lemma 1, Reading
Jonathan Bowen, London South Bank University
Neville Dean, Anglia Polytechnic University
John Derrick, University of Kent, Canterbury
Jin Song Dong, National University of Singapore
Mark d'Inverno, University of Westminster
Wolfgang Grieskamp, Microsoft Research, USA
Ian Hayes, University of Queensland
Rob Hierons, Brunel University
Jonathan Jacky, University of Washington
Randolph Johnson, National Security Agency
Kevin Lano, Kings College London
Yves Ledru, LSR-IMAG, Grenoble
Andrew Martin, Oxford University
Fiona Polack, University of York
Steve Reeves, University of Waikato
Mark Saaltink, ORA, Ottawa
Thomas Santen, Technical University of Berlin
Graeme Smith, University of Queensland
Susan Stepney, University of York
Ian Toyn, University of York
Mark Utting, University of Waikato
Sam Valentine, York
