4th International Conference
of B and Z Users
University of Surrey,
Guildford, UK, 13-15 April 2005Organised by APCB and the Z User Group
|
|
4th International Conference
University of Surrey,
Guildford, UK, 13-15 April 2005 |
SubmissionPapers Tutorials ToolsPapers
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 detailsThere 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 SubmissionThe camera-ready submission is done via Cyberchair. You should go to step 3 of the appropriate submission site:
B 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
Both the paper and the copyright form should be sent to:
TutorialsProposals and enquiries for tutorial sessions should be sent to the tutorial session chair:
The deadline for tutorial submissions is November 29th 2004. ToolsProposals 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:
Proposals will be considered up to the date of the conference.
|
||
|
Maintained by Rob Delicata. |