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

• Bernard Chazelle (Princeton University, US)
• Ivan Damgård (University of Aarhus, Denmark)
• Fedor Fomin (University of Bergen, Norway)
• Gordon Plotkin (University of Edinburgh, UK)
• Michael O. Rabin (Harvard University, US)
• Fred Schneider (Cornell University, US)

Important dates

• Submission: January 25, 2007, 21:00 CET
• Notification: April 5, 2007
• Final version due: April 23, 2007

Program committee

Track A

• Susanne Albers (Universität Freiburg, Germany)
• Lars Arge (University of Aarhus, Denmark) – PC Chair
• James Aspnes (Yale University, USA)
• Yossi Azar (Microsoft Research, USA and Tel-Aviv University, Israel)
• Joan Boyar (University of Southern Denmark, Denmark)
• Richard Cole (New York University, USA)
• Camil Demetrescu (University of Rome La Sapienza, Italy)
• Xiaotie Deng (City University of Hong Kong, Hong Kong)
• Thomas Erlebach (University of Leicester, UK)
• Ricard Gavaldà (Universitat Politècnica de Catalunya, Spain)
• Loukas Georgiadis (HP, USA)
• Sariel Har-Peled (University of Illinois at Urbana-Champaign, USA)
• Markus Holzer (Technische Universität München, Germany)
• Piotr Indyk (Massachusetts Institute of Technology, USA)
• Ming-Yang Kao (Northwestern University, USA)
• Marc van Kreveld (Utrecht University, The Netherlands)
• Ulrich Meyer (MPI-INF Saarbrücken, Germany)
• Michael Mitzenmacher (Harvard University, USA)
• Branislav Rovan (Comenius University, Slovakia)
• Jan Arne Telle (University of Bergen, Norway)
• Jacobo Torán (Universität Ulm, Germany)
• Norbert Zeh (Dalhousie University, Canada)

Track B

• Roland Backhouse (University of Nottingham, UK)
• Pierpaolo Degano (Università di Pisa, Italy)
• Bengt Jonsson (Uppsala University, Sweden)
• Christoph Koch (Universität des Saarlandes, Saarbrücken, Germany)
• Marta Kwiatkowska (University of Birmingham, UK)
• Martin Lange (University of Aarhus, Denmark)
• Pierre Lescanne (ENS Lyon, France)
• Madhusvadan Parthasarathy (University of Illinois, Urbana-Champaign, US)
• Eugenio Moggi (Università di Genova, Italy)
• Lawrence Moss (Indiana University, Bloomington, US)
• Andrzej Murawski (Oxford University, UK)
• Fernando Orejas (UPC, Barcelona, Spain)
• Doron Peled (University of Warwick, UK)
• Davide Sangiorgi (Università di Bologna, Italy)
• Thomas Schwentick (Universität Dortmund, Germany)
• Wolfgang Thomas (RWTH Aachen, Germany)
• Lidia Tendera (Opole University, Poland)
• Andrzej Tarlecki (Warsaw University, Poland) – PC Chair
• Frits Vaandrager (Radboud University Nijmegen, The Netherlands)
• Rob van Glabbeek (NICTA, Sydney, Australia)

Track C

• Michael Backes (Saarland University, Germany)
• David Basin (ETH Zürich, Switzerland)
• Michele Boreale (Università di Firenze, Italy)
• Christian Cachin (IBM Research, Switzerland) – PC Chair
• Ran Canetti (IBM Research, USA)
• Véronique Cortier (LORIA, CNRS, France)
• Stefan Dziembowski (Warsaw University, Poland and University of Rome La Sapienza, Italy)
• Cédric Fournet (Microsoft Research, UK)
• Jonathan Katz (University of Maryland, USA)
• Eike Kiltz (CWI, The Netherlands)
• Eyal Kushilevitz (Technion, Israel)
• Anna Lysyanskaya (Brown University, USA)
• Jesper Nielsen (University of Aarhus, Denmark)
• Rafael Pass (Cornell University, USA)
• Giuseppe Persiano (University of Salerno, Italy)
• Krzysztof Pietrzak (ENS, France)
• Leonid Reyzin (Boston University, USA)
• Mark Ryan (University of Birmingham, UK)
• David Sands (Chalmers University of Technology, Sweden)
• Abhi Shelat (IBM Research, Switzerland)

Contact addresses

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