UNIF 2001

• Final submissions should be emailed to unif2001@cs.uiowa.edu by May 15, 2001.

• The extended abstract must be written in LaTeX2e with the llncs.cls class (class file and related instructions are available here).

• The extended abstract and related bibliography must be submitted in a single file called abstract.tex. Bibliography entries should be placed directly into abstract.tex in bbl format. Do not send BibTeX files.

• The whole paper, extended abstract and references, must not exceed five pages. The first page should contain title, author(s) and their affiliations, but need not contain an explicit abstract and keyword sections.

• No personal LaTeX macros should be defined in abstract.tex. If needed, personal macros should be collected into a single file called macros.tex (to be included in abstract.tex with an \input{macros} command).

• The file macros.tex should contain only macros that are actually needed in abstract.tex.

• Your macros should not redefine any command or environment already defined with llncs.cls.

• The following files should be submitted in as MIME attachments in a single email message:
  • abstract.tex
  • macros.tex
  • abstract.ps (postscript version of the compiled abstract.tex)