zb2005 logo

4th International Conference
of B and Z Users

University of Surrey, Guildford, UK, 13-15 April 2005
Organised by APCB and the Z User Group


Papers Tutorials Tools


Papers should describe original work, not submitted or published elsewhere. Authors must decide 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 should submit through the web, using one of the following links:

Click here for submissions to the B track
Click here for submissions to the Z track

The proceedings will be published in the Springer-Verlag LNCS Series, and authors are therefore urged to follow the style guidelines.

Authors must 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
email: kenr@cse.unsw.edu.au

The deadline for tutorial submissions is November 29th 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
email: J.Heather@surrey.ac.uk

Proposals will be considered up to the date of the conference.



University of Surrey logo Maintained by Rob Delicata.