[C1] ================================================ AMAST Links 02 03 23rd Int'l Colloquium on Automata, Languages, and Programming, ICALP'96 Paderborn, Germany, July 8th - 12th, 1996 The full version of this Call for Papers is available at URL: http://www.cs.utwente.nl/data/amast/links/v02/i03/full/AC0203C1.txt 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 under URL: http://www.uni-paderborn.de/~icalp96/ 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