Conference overview

The 34th International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science EATCS will take place from the 9th to the 13th of July 2007 in Wrocław, Poland.

• Track A — Algorithms, Automata, Complexity and Games
  Lars Arge, University of Aarhus, Denmark (PC Chair)

• Track B - Logic, Semantics, and Theory of Programming
  Andrzej Tarlecki, Warsaw University, Poland (PC Chair)

• Track C - Security and Cryptography Foundations
  Christian Cachin, IBM Zurich Research Laboratory, Switzerland (PC Chair)

ICALP 2007 will be colocated with the 22nd Annual IEEE Symposium on Logic In Computer Science (LICS 2007), Logic Colloquium 2007, and the 9th International Symposium on Principles and Practice of Declarative Programming (PPDP 2007).

Local information (accommodation, travel hints), conference timetable, registration forms, etc. can be found / will appear on the joint conference site.