Authors must e-mail a short abstract (up to 200 words) in plain text format to 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
or send five hardcopies to<
Boi Faltings
Artificial Intelligence Laboratory
Computer Science Department
Swiss Federal Institute of Technology
IN (Ecublens), CH-1015 Lausanne
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.


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