SUBMISSIONS

Authors must e-mail a short abstract (up to 200 words) in plain text format to amai@rutcor.rutgers.edu 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
amai@rutcor.rutgers.edu
or send five hardcopies to
Bart Selman
Department of Computer Science
4130 Upson Hall
Cornell University
Ithaca, NY 14853-7501
USA
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.


IMPORTANT DATES

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