SUBMISSIONS

Authors must e-mail a short abstract (up to 200 words) in plain text format to amai@rutcor.rutgers.edu by September 21, 2001, and either e-mail postscript files or TeX/LaTeX source files (including all necessary macros) of their extended abstracts (up to 10 double-spaced pages) to
amai@rutcor.rutgers.edu
or send five hardcopies to<
Boi Faltings
Artificial Intelligence Laboratory
Computer Science Department
Swiss Federal Institute of Technology
IN (Ecublens), CH-1015 Lausanne
CH
to be received by September 28, 2001. Authors will be notified of acceptance or rejection by November 12, 2001. The final versions of the accepted extended abstracts, for inclusion in the conference volume, are due by November 30, 2001.

Full versions of a selected set of papers from the Symposium will be published in a special volume in the Annals of Mathematics and Artificial Intelligence, J.C. Baltzer Scientific Publishing Co.; for earlier volumes, see Vol. I, Vol. II, Vol. III, Vol. IV, Vol. V, Vol. VI, Vol. VII, Vol. VIII.


IMPORTANT DATES

Abstracts received: September 21, 2001
Extended abstracts due: September 28, 2001
Authors notified: November 3, 2001
Final versions received: November 30, 2001
AI & Math Symposium: January 2-4, 2002