The 13th International Conference
Authors are requested to submit their papers in
Alternatively, they may submit nine hard copies of their papers to:
which must be received by May 23, 2002 (Extended)
Notification of acceptance or rejection will be (e)mailed to the first (or designated) author by July 12, 2002 (Extended).
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. You may use appendices to include long but major proofs. If you submit hardcopies, double-sided printing is encouraged.
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 2002.
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 2002 will be invited to a special issue of the journal Theoretical Computer Science.