The Call for Papers is available.
The 23rd annual meeting of the European Association for Theoretical Computer Science will take place in Paderborn, Germany. Papers presenting original contributions in any area of theoretical computer science are being sought. Topics include (but are not limited to): computability, automata, formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of data base and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, theory of robotics.
Submissions. Authors are invited to submit seven copies of an extended abstract, not exceeding 12 pages, by November 15th, 1995, to:
Friedhelm Meyer auf der HeideSimultaneous submissions of papers to any other conference with published proceedings are not allowed.
Dept. of Mathematics and Computer Science, & Heinz Nixdorf Institute
University of Paderborn, D-33095 Paderborn, Germany
Important Dates
Deadline for submission: November 15th, 1995
Notification of acceptance: February 16th, 1996
Final manuscript: April 1st, 1996
More Information. See the Call for Papers. A WWW page for ICALP'96 has been installed.
The final program will be sent to those who have submitted a paper and to all EATCS members. To add your name to the mailing list or to obtain further information, please contact:
Walter Unger, Rolf Wanka
Dept. of Mathematics and Computer Science
University of Paderborn, D-33095 Paderborn, Germany
email: icalp96@uni-paderborn.de