The full version of this Call for Papers is available.
ICALP'96 is the 23rd annual meeting of the European Association for Theoretical Computer Science. 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.
Submission Authors are invited to submit 7 copies of an extended abstract not exceeding twelve pages by November 15th, 1995 to:
Friedhelm Meyer auf der Heide
Dept. of Mathematics & Computer Science and Heinz Nixdorf Institute
University of Paderborn, D-33095 Paderborn, Germany
Simultaneous submissions of papers to any other conference with published proceedings are not allowed.
Important Dates
Deadline for submission November 15th, 1995
Notification of acceptance February 16th, 1996
Final manuscript April 1st, 1996
Conference July 8th - 12th, 1996
Further Information
A WWW page for this conference has been installed. This page will contain information and latest news. 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