Notice of Meeting and First Call for Papers


4th International Conference of B and Z Users

University of Surrey, Guildford, UK , 13-15 April 2005

Organized by the APCB and the Z User Group

Important dates

Paper submission: 1 November 2004
Tutorial submission: 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.


The topics of the conference include, but are not limited to:

Further Information

General enquiries about the meeting may be directed to:
Steve Schneider (Conference Chair)
Until August 2004:
Department of Computer Science
Royal Holloway, University of London
Egham, Surrey, TW20 0EX, UK
Phone: +44 1784 443431
Fax: +44 1784 439786
From September 2004:
Department of Computing
School of Electronics and Physical Sciences
University of Surrey
Guildford, Surrey, GU2 7XH


Papers should describe original work, not submitted or published elsewhere. Electronic submissions are strongly encouraged, and submission details will be posted on The proceedings will be published in the Springer-Verlag LNCS Series, and authors are therefore urged to follow the style guidelines.

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.


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
The deadline for tutorial submissions is November 22nd 2004.


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
Proposals will be considered up to the date of the conference.

B Programme Committee

Z Programme Committee