Logic List Mailing Archive
International Colloquium on Automata, Languages and Programming (ICALP), Wroclaw (Poland), July 2007
***** Apologies for multiple copies *****
-------------------------------------------------------------------------
34th International Colloquium on Automata, Languages and Programming
ICALP 2007 -- CALL FOR PAPERS
Wroclaw - Poland
http://icalp07.ii.uni.wroc.pl/
Conference: July 9-13, 2007
Affiliated Workshops: 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 Wroclaw, 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 ACM-SIGPLAN
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.
Submissions should indicate to which track (A, B, or C) the paper is
submitted. No simultaneous submission to other publication outlets (either
a conference or a journal) is allowed.
Information on how to submit a paper will be available by January 1st, 2007
at http://icalp07.ii.uni.wroc.pl/
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 Damgard (Aarhus University, 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 (Universitat 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 Gavalda (Universitat Politecnica de Catalunya, Spain)
* Loukas Georgiadis (HP, USA)
* Sariel Har-Peled (University of Illinois at Urbana-Champaign, USA)
* Markus Holzer (Technische Universitat Munchen, 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 Saarbrucken, Germany)
* Michael Mitzenmacher (Harvard University, USA)
* Branislav Rovan (Comenius University, Slovakia)
* Jan Arne Telle (University of Bergen, Norway)
* Jacobo Toran (Universitat Ulm, Germany)
* Norbert Zeh (Dalhousie University, Canada)
Track B:
* Roland Backhouse (University of Nottingham, UK)
* Pierpaolo Degano (Universita di Pisa, Italy)
* Bengt Jonsson (Uppsala University, Sweden)
* Christoph Koch (Universitat des Saarlandes, Saarbrucken, Germany)
* Marta Kwiatkowska (University of Birmingham, UK)
* Martin Lange (University of Aarhus, Denmark)
* Pierre Lescanne (ENS Lyon, Fance)
* Madhusvadan Parthasarathy (University of Illinois, Urbana-Champaign, US)
* Eugenio Moggi (Universita 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 (Universita di Bologna, Italy)
* Thomas Schwentick (Universitat 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
* David Basin (ETH Zurich, Switzerland)
* Michele Boreale (Universita di Firenze, Italy)
* Christian Cachin (IBM Research, Switzerland) -- PC Chair
* Ran Canetti (IBM Research, USA)
* Veronique Cortier (LORIA, CNRS, France)
* Stefan Dziembowski (Warsaw University, Poland and University of Rome La Sapienza, Italy)
* Cedric 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 (Aarhus University, 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/