Call for Submissions (15 November 1995) 

I C A L P '96 - 23rd International Colloquium on Automata, Languages, and
Programming 

Paderborn, Germany 
(08 - 12 July 1996) 



Brief Description 

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. 

Deadline: 15 November 1995 (extended abstract) 

Conference Language: English 



Detailed Information 

There is more information available via the Internet: 

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

The originally posted announcement is included below:

                             I C A L P '96

                    23rd International Colloquium
               on Automata, Languages, and Programming

                        July 8th - 12th, 1996

                          Paderborn, Germany


                           CALL FOR PAPERS

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

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





This announcement was submitted by 

icalp96@gollum.uni-paderborn.de (ICALP96 (Rolf Wanka))
  


Impressum: 
The Conference Archive is maintained at the Fraunhofer Institute for Industrial Engineering (IAO), Stuttgart (http://www.iao.fhg.de).
Announcements are provided as submitted, in particular, no liability for the accuracy of dates or other contents is assumed by the
maintainers of this server. 

  conferences@iao.fhg.de ( J. Wagner ) 

Last modified: 11 September 1995 (07:01)