<LI>algorithms, protocols, and data structures;</LI>
<LI>complexity and cryptography;</LI>
<LI>formal languages, automata and their applications to computer science;</LI>
<LI>computational models and concepts;</LI>
<LI>proof theory and applications of logic to computer science.</LI>
</UL>

<TD VALIGN="top">
<CENTER>Applications and Technology</CENTER>



<LI>programming and languages;</LI>
<LI>computer architecture and hardware design;</LI>
<LI>symbolic computing and numerical applications;</LI>
<LI>application software;</LI>
<LI>artificial intelligence and robotics.</LI>


<FONT SIZE="-1"><A HREF="technologytopics.html" TARGET="_blank">A more detailed list (in a new window).</FONT>


</UL>

Submissions:
Authors are invited to submit an extended abstract (not a full paper)
of at most 10 pages. Proofs and other material omitted due to space constraints
are to be put into a clearly marked appendix to be read at discretion of
the referees. Papers must present original (and not previously published) research.
Simultaneous submissions to other conferences with published
proceedings are not allowed.