The 14th International Conference
Authors are requested to submit their papers in
electronic form by using our submission page (now closed).
Alternatively, they may submit nine hard copies of their papers to:
which must be received by May 30, 2003
Notification of acceptance or rejection will be (e)mailed to the first (or designated) author by July 10, 2003.
Format. The submitted paper should consist of a cover page with
title, authors' names, postal and e-mail addresses, an
approximately 200 word summary, and a body not longer than ten (10) A4
or letter sized pages in twelve-point font. Alternativley, you may
prepare your submission by using SPRINGER's llncs.cls style file, again
within 10 pages.
You may use appendices to include
long but major proofs, if 10 pages do not suffice.
If you submit hardcopies, double-sided printing
is encouraged. (Do not mix up this page limit with the page limit for
the final version.)
You may use appendices to include long but major proofs, if 10 pages do not suffice. If you submit hardcopies, double-sided printing is encouraged. (Do not mix up this page limit with the page limit for the final version.)
Policy. Each submitted paper will be reviewed by the members of the program committee and be judged on clarity, significance, and originality. Joint submissions to other conferences with published proceedings are not allowed. Papers that have appeared in journals or other conferences are not appropriate for ALT 2003.
Proceedings. All accepted papers will be published as a volume in the Lecture Notes in Artificial Intelligence, Springer-Verlag, and will be available at the conference. Selected papers of ALT 2003 will be invited to a special issue of the journal Theoretical Computer Science.