The 14th International Conference on Theorem Proving in Higher Order Logics
3-6 September 2001, Edinburgh, Scotland

[Home Page][Conference History][Call for Papers][Guide for Authors][Programme
[Related Events][How to Get There][Weather and Tourism][Registration][Accommodation

## Typesetting Instructions

### How to Produce your Paper

All papers should be produced using LaTeX2e with the latest version of the Springer LLNCS document class. Springer have an Information for Authors web page from where you can download

• the Springer LLNCS Authors' Instructions document,
• the LLNCS class,
• documentation on using the class,
• an example input file.

#### Draft Papers

Refereeing is made easier if page numbers are added to the paper (LLNCS leaves them out by default). This can be achieved by putting

% Remove for camera-ready copy
\pagestyle{plain}

just before \begin{document}.

#### Final Papers

Authors should read through Springer's Authors' Instructions carefully, and should ensure that their contributions meet these specifications.

### Why LaTeX2e?

We are asking all authors to prepare their submissions using LaTeX2e and the Springer LLNCS document class for the following reasons:

• Using LaTeX2e with the Springer LLNCS document class will by itself ensure that your paper complies with most of the formating requirements of the LNCS series.
• Springer may choose to produce two editions of the volume: the traditional paper edition and an electronic edition. Springer will add hyper-links to papers in the electronic edition for references, cross-references, and citations; but only for those papers prepared using LaTeX2e.
• It will save us a lot of trouble, and allow us to produce a volume with a uniform appearance, if everybody uses the same package to produce their papers.

### What If I Can't Use LaTeX2e?

Macro packages for producing papers in the LNCS style are also available for use with the old LaTeX (LaTeX2.09), plain TeX and for Microsoft Word. You should note, however, that papers prepared using these systems will not be annotated with hyper-links in the electronic edition of the conference proceedings. Furthermore, authors using Microsoft Word should know that their paper will by typeset using Times Roman fonts while all other papers will be typeset using Computer Modern Roman fonts, and thus your paper will look a little out of place in the printed proceedings.

Regardless of which system you use to prepare your paper, you should read both the instructions for LNCS authors and the LLNCS document class instructions to ensure that your document mirrors the LNCS style as closely as possible.

Enquiries should be emailed to tphols2001@inf.ed.ac.uk.