Authors must e-mail a short abstract (up to 200 words) in plain text format to by September 23, 1999, 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
Bart Selman
Department of Computer Science
4130 Upson Hall
Cornell University
Ithaca, NY 14853-7501
to be received by September 30, 1999. Authors will be notified of acceptance or rejection by October 31th, 1999. The final versions of the accepted extended abstracts, for inclusion in the conference volume, are due by November 30, 1999.

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 23, 1999
Extended abstracts due: September 30, 1999
Authors notified: October 31, 1999
Final versions received: November 30, 1999
AI & Math Symposium: January 5-7, 2000