Newsgroups: comp.parallel
From: wanka@gollum.uni-paderborn.de (Rolf Wanka)
Subject: CFP: ICALP '96
Organization: Uni-GH Paderborn, Germany
Date: 18 Sep 1995 14:36:16 GMT
Message-ID: <43k050$27l@usenet.srv.cis.pitt.edu>

                             I C A L P '96

                    23rd International Colloquium
               on Automata, Languages, and Programming

                        July 8th - 12th, 1996

                          Paderborn, Germany


                           CALL FOR PAPERS


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 twelve pages by  November 15th, 1995  to:

     Friedhelm Meyer auf der Heide
     Dept. of Mathematics and 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.

Authors from countries where access to copying machines is difficult
may submit a single copy of their abstract.


Important Dates
---------------

Deadline for submission      November 15th, 1995
Notification of acceptance   February 16th, 1996
Final manuscript             April 1st, 1996
Conference                   July 8th - 12th, 1996


Program Committee
-----------------

J. Balcazar, Barcelona
J. Berstel, Paris
R. Freivalds, Riga
Z. Galil, New York
J. Karhumaeki, Turku
R. Kemp, Frankfurt
W. Maass, Graz
A. Marchetti-Spaccamela,  Roma
J. Matousek, Praha
F. Meyer auf der Heide, Paderborn (Co-Chairman)
B. Monien, Paderborn (Co-Chairman)
I. Munro, Waterloo
L. Pacholski, Wroclaw
A. Pnueli, Rehovot
A. Rosenberg, Amherst
D. Sannella, Edinburgh
S. Skyum, Aarhus
P. Spirakis, Patras
P. Vitanyi, Amsterdam


Organizing Committee
--------------------

Bernard Bauer
Erich Koester
Friedhelm Meyer auf der Heide
Burkhard Monien
Walter Unger
Rolf Wanka


Further Information
-------------------

A WWW page for this conference has been installed under the URL

     http://www.uni-paderborn.de/~icalp96/

This page will contain information and latest news.

The final program will be sent to all 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

