Paper
Formatting
Instructions

Formatting Instructions for Contributions

The proceedings for SafeComp'97 are to be published by Springer in the Workshops in Computer Science series. The specifications for formatting papers, as provided by Springer, are as follows.

Note: this is incomplete and needs to be completed.

Type size, type area, line spacing

Text and illustrations should fill, but not extend beyond, an area of 120 x 195 mm.
Use a 10-point font size with a line spacing of 2 points.
Use a traditional serifed typeface (e.g. Times), except for computer programs for which a fixed character-width font should be used (e.g. Courier).
Text should be justified on both left and right margins - not ragged.
Please do not use page numbers on the CRC - please number the pages in pencil on the back of each page.
Do not use running heads.
If page depth is too short, add space above and below subheadings.

Please keep a complete photpcopy of your paper in case of accidents or production queries.

Page Layout

Please refer to the specimen when producing your CRC. A style file for latex version 2.09 is available from ftp://ftp.tex.ac.uk/pub/archive/macros/latex209/contrib/springer/wics/. There's also a copy held locally on this web site at: http://www.cs.york.ac.uk/safecomp-97/latex/

Abstracts, paragraphs, footnotes

See specimen for style and layout.

Subheadings

Headings should be capitalised (i.e. all words, except prepositions and conjunctions with less than five letters, should have a capital initial) and should, with the exception of the title, be aligned to the left. The font sizes are:

Title	16 point Bold
2nd Level	14 point Bold
3rd Level	12 point Bold
4th Level	10 point Italic
5th Level	10 point Roman

N.B. Do not type a new heading on a page unless there is space for at least two lines of text as well. Insert extra space above other headings or round tables and illustrations in order to space out the page to a depth of 195mm.

Illusrations

Line drawings. Ensure you supply a clear, well drawn original - not a sketch or photocopy. Line drawings must be positioned on the CRC, centred on the type width. Labelling should not be set smaller than 8pt.
Halftones. If previously agreed with Springer, halftone illustrations (black and white photos) may be included in your CRC. Please supply high contrast glossy prints (unscreened). Write your name ant the figure number on a label that you can then stick on the back on each illustration, marking the top of the illustration with an arrow so that it can be positioned correctly. Then leave the correct space on your CRC so that it can be dropped in by the printer.
Captions. Figures should be numbered, eg., Figure 1, Figure 2, etc. The caption should be positioned underneath the illustration and separated from it by one blank line. Captions may be set slightly smaller than the main text (i.e., 9pt).

References

Follow the reference style shown in the specimen. References may be set slightly smaller than the main text (i.e., 9pt). Bear in mind the following general points:

The information must be accurate - check references against source.
The information must be sufficient to locate the reference.
The text citations and the reference list must tally.

Use of copyright material

Permission must be sought from the copyright holder to reproduce previously published material. A standard form for this purpose is attached. Completed forms must be submitted with your CRC.

Checking, correcting and printing

Print on one side only
The print on the final CRC should be black and well-defined. Do not use a bold typeface except to highlight certain words or terms. The output should noy be "patchy" of have any broken fonts.
Please use a high-resolution printer, preferably a laser printer with at least 300 dpi.