Information for Authors

[Call for Paper ] [Electronic Submission Information] [Important Dates]
[Instructions for Camera-Ready Version]

Call for Paper

Electronic Submission Information

Authors are invited to submit papers presenting original and unpublished research results on symposium themes listed above. Papers in applied areas with a strong foundational emphasis are also welcome. A submission should start with the title of the paper, author(s)' name, affiliation and e-mail address, and a short abstract summarizing the main results of the paper. This should be followed by a scholarly exposition of the ideas, techniques, and a full description of the results achieved. A clear indication of the motivation and comparison with prior or related work should be presented. The paper should not exceed 12 pages using 11 point or larger font. Submissions that deviate significantly from these guidelines and PostScript submissions that are unprintable or formatted for paper size other than 8.5 x 11 inch paper risk rejection without consideration of their merits. Authors who feel that more details are necessary may include a clearly marked appendix which will be read at the discretion of the Program Committee.

Submissions to the symposium this year will ONLY be conducted electronically either by e-mail or web. Hard-copy submissions will NOT be accepted.

Important: For each paper, please choose either web or email submission. Please DO NOT use both. Web submission is preferred.

Information about ISAAC'00 Electronic Web Submissions see
Information about ISAAC'00 Electronic E-mail Submissions see

For an accepted paper to be included in the proceedings, at least one of the authors must commit to presenting the paper at the symposium. Accepted papers will be published in Lecture Notes in Computer Science, Springer-Verlag. The authors' instructions of LNCS can be found at

Important Dates

Submission of paper 31 May, 2000

Notification to authors 22 July, 2000

Submission of Camera-Ready form 14 Aug, 2000

Questions/comments/suggestions/Problems? Send email to ISAAC00 Administrator.