TPHOLs'99: Typesetting Instructions

How to Produce your Paper

All papers should be produced using LaTeX2e with the Springer LLNCS document class.

• View the instruction page from Springer.
• Download the Springer LLNCS document class and instructions for use.

Detailed Instructions from Springer-Verlag

Springer-Verlag have prepared some instructions for authors in the LNCS series. This document describes the format in which your paper must be prepared, and is available from the Springer-Verlag site in the following formats:

• Instructions for LNCS Authors, in PostScript (.ps)
• Instructions for LNCS Authors, in Portable Document Format (.pdf)

All authors should read both these documents and ensure that their contributions meet the specifications contained therein before submitting their camera-ready copy.

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.
• Starting this year, Springer will produce two editions of each volume in the LNCS series: the traditional paper edition and a new 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.

If you are contemplating using a system other than LaTeX2e to prepare your paper, please contact the conference organisers first. We may be able to help you prepare a LaTeX2e version.

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. These documents are described above in the section on detailed instructions from Springer-Verlag.