CONFERENCE OVERVIEW

The 33rd 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 16th of July 2006 in Venice, Italy.

Following the successful experience of the 32nd edition in Lisbon, ICALP 2006 will complement the established structure of the scientific program based on Track A on Algorithms, Automata, Complexity and Games, and Track B on Logic, Semantics, and Theory of Programming, corresponding to the two main streams of the journal Theoretical Computer Science, with a special Track C on Security and Cryptography Foundations The aim of Track C is to allow a deeper coverage of a particular topic, to be specifically selected for each year's edition of ICALP on the basis of its timeliness and relevance for the theoretical computer science community.

• Track A - Algorithms, Automata, Complexity and Games:
  Ingo Wegener, University of Dortmund, Germany (PC Chair)

• Track B - Logic, Semantics, and Theory of Programming
  Vladimiro Sassone, University of Southampton, UK (PC Chair)

• Track C - Security and Cryptography Foundations:
  Bart Preneel, Katholieke Universiteit Leuven, Belgium (PC Chair)

ICALP 2006 will be colocated with the 8th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming PPDP 2006.

• Workshop proposals due: November 27, 2005
• Submissions: February 10, 2006
• Notification: April 9, 2006
• Final version due: April 30, 2006

Conference Chair

Michele Bugliesi

Dipartimento di Informatica

Università Ca' Foscari

icalp06@dsi.unive.it

Conference Secretariat

Key Congress S.r.l

Via Makallè, 75

35138 Padova, Italy

Fax: +39 049 8729512

E-mail: icalp2006@keycongress.com