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


New submission details

Camera ready copies are required by 14th January, 2005. Note that 14th January, 2005 is a hard deadline: papers not reaching us by that date, in fully working form, risk being excluded from the proceedings.

Paper details

There is a strict limit of 20 pages. Please do not add anything extra in an appendix. Follow carefully the LNCS instructions at http://www.springer.de/comp/lncs/authors.html. In particular, check that your macros haven't interfered with the LNCS macros, especially with regard to printing area.

Electronic Submission

The camera-ready submission is done via Cyberchair. You should go to step 3 of the appropriate submission site:

B submission site
Z submission site

You are required to send a PDF (or PostScript) file and all the source files. The files should be zipped (or tarred) together and sent as a single attachment, with a name that clearly indicates the paper number (e.g,. paper 22 of the B strand: B22.zip). The number that was assigned to your paper is indicated in the reviews.

Authors will already have received their individual logins as part of the acceptance email. Please get in touch with Rob Delicata if you have any difficulties accessing the website.

Send to us by mail

  • 1) Please send us a hard copy of the paper
  • 2) Please send a signed hardcopy of the copyright form. You can obtain the copyright form from the Springer website

Both the paper and the copyright form should be sent to:

Steve King
Department of Computer Science,
University of York,
YO10 5DD


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.