CADE-19 in Miami

28 July - 2 August 2003

In the sunshine ... On the beach

Author Instructions

Formatting Instructions

Final versions of papers accepted for publication in the CADE-2003 proceedings must satisfy the following requirements:

Research Papers can have at most 15 pages;
System Description Papers can have at most 5 pages.
Conformance to the Springer LNCS style.
Information on how to generate documents conforming to this style can be found on the Springer web pages;
No page number printed on pages.
(In LaTeX, this can be achieved using \pagestyle{empty}.)

We strongly encourage the use of LaTeX for the preparation of the final versions. Though the use of other text systems is discouraged, we accept documents prepared with Microsoft Word (see the Springer web pages for instructions). Documents prepared with other text processing systems cannot be accepted.

If you have any problems with the preparation of your document, please contact the CADE-2003 organizers.

How to Submit

Authors must fill in and sign the Springer copyright form and fax it to +49 351 463 37959. Moreover, the following files must be sent (preferably a single gzip'ed tar-file as a standard mail attachment) to cade19sub@tcs.inf.tu-dresden.de:

If you use LaTeX: the self-contained TeX source files including e.g. the .bbl file, any non-standard style-files, and imported images used in the preparation of your document. Furthermore, we need a postscript version of your document (PDF is not accepted).
If you use Microsoft Word: the .doc source files, an RTF version, and a postscript version of your document.

The copyright form and the required files must be sent until April 30, 2003. This deadline is strict! Papers that do not arrive in time cannot be included in the proceedings.

Anni-Yasmin Turhan

Last modified: Fri Mar 28 13:38:41 MET 2003