Wroclaw
July 9–13, 2007
Wrocław — Poland
ICALP 2007
34th International Colloquium on
Automata, Languages and Programming
Colocated with LICS 2007, LC 2007, and PPDP 2007
EATCS

Call for papers

Conference Dates: July 9–13, 2007
Affiliated Workshop Dates: July 8, 9, 14, and 15, 2007

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. This year the conference 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).

Following the successful experience of the last two years, ICALP 2007 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, selected for each year's edition of ICALP on the basis of its timeliness and relevance for the theoretical computer science community.

Papers presenting original research on all aspects of theoretical computer science are sought. Typical but not exclusive topics of interest are:

Track A — Algorithms, Automata, Complexity and Games

PC Chair: Lars Arge, University of Aarhus, Denmark

  • Algorithmic Aspects of Networks
  • Algorithmic Game Theory
  • Automata Theory
  • Combinatorics in Computer Science
  • Computational Biology
  • Computational Complexity
  • Computational Geometry
  • Data Structures
  • Design and Analysis of Algorithms
  • Internet Algorithmics
  • Machine Learning
  • Parallel, Distributed and External Memory Computing
  • Quantum Computing

Track B — Logic, Semantics, and Theory of Programming

PC Chair: Andrzej Tarlecki, Warsaw University, Poland

  • Algebraic and Categorical Models
  • Automata and Formal Languages
  • Emerging and Non-standard Models of Computation
  • Databases, Semi-Structured Data and Finite Model Theory
  • Principles of Programming Languages
  • Logics, Formal Methods and Model Checking
  • Models of Concurrent, Distributed, and Mobile Systems
  • Models of Reactive, Hybrid and Stochastic Systems
  • Program Analysis and Transformation
  • Specification, Refinement and Verification
  • Type Systems and Theory, Typed Calculi

Track C — Security and Cryptography Foundations

PC Chair: Christian Cachin, IBM Zurich Research Laboratory, Switzerland

  • Cryptographic Notions, Mechanisms, Systems and Protocols
  • Cryptographic Proof Techniques, Lower bounds, Impossibilities
  • Foundations of Secure Systems and Architectures
  • Logic and Semantics of Security Protocols
  • Number Theory and Algebraic Algorithms in Cryptography
  • Pseudorandomness, Randomness, and Complexity Issues
  • Secure Data Structures, Storage, Databases and Content
  • Security Modeling: Combinatorics, Graphs, Games, Economics
  • Specifications, Verifications and Secure Programming
  • Theory of Privacy and Anonymity
  • Theory of Security in Networks and Distributed Computing
  • Quantum Cryptography and Information Theory

Submission guidelines

Authors are invited to submit an extended abstract presenting original research. The abstract should not exceed 10 single-spaced pages including title and abstract, but excluding bibliography and appendices, should be in single-column format, use at least 11-point fonts, and have reasonable margins. If the authors believe that more details are essential to substantiate the main claims of the paper, they may include a clearly marked appendix that will be read at the discretion of the program committee. Submissions deviating significantly from these guidelines risk rejection without consideration of their merits.

No simultaneous submission to other publication outlets (either a conference or a journal) is allowed.

Proceedings

The proceedings will be published in the Lecture Notes in Computer Science Series by Springer-Verlag. The final version of each accepted paper must be submitted in electronic form conforming to the LNCS style and not exceeding 12 pages.

Invited speakers

Important dates

Program committee

Track A

Track B

Track C

Contact addresses

For further information see: http://icalp07.ii.uni.wroc.pl/