<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
<body bgcolor="#ffffff" text="#000000">
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<meta name="ProgId" content="Word.Document">
<meta name="Generator" content="Microsoft Word 10">
<meta name="Originator" content="Microsoft Word 10">
<link rel="File-List"
<!--[if gte mso 9]><xml>
 /* Style Definitions */
 p.MsoNormal, li.MsoNormal, div.MsoNormal
        font-family:"Times New Roman";
        mso-fareast-font-family:"Times New Roman";
        mso-bidi-font-family:"Times New Roman";
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
        font-family:"Courier New";
        mso-fareast-font-family:"Times New Roman";
        mso-bidi-font-family:"Times New Roman";
@page Section1
        {size:595.3pt 841.9pt;
        margin:70.85pt 57.6pt 70.85pt 57.6pt;
</style><!--[if gte mso 10]>
 /* Style Definitions */
        {mso-style-name:"Tableau Normal";
        mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
        font-family:"Times New Roman";}
<p class="MsoPlainText"><span style="" lang="EN-GB"><span style="">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
Apologies for multiple copies ***<br>
<span style="">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span>IMPORTANT: Submission
site is open!<br>
<span style="">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span>CALL FOR PAPERS<br>
<span style="">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span style="">&nbsp;</span>ICALP
2010 <br>
<span style="">&nbsp;</span>37th International Colloquium on Automata,
Languages and Programming<br>
<span style="">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span style="">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span>July
5-12, 2010<br>
<span style="">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span style="">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span>Bordeaux,
<span style="">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span style="">&nbsp; </span><a class="moz-txt-link-freetext" href="http://icalp10.inria.fr/">http://icalp10.inria.fr/</a><br>
Supported by the European Association for Theoretical Computer Science
Important Dates:<br>
* Submission Deadline: Feb 10, 2010<br>
* Author Notification: Apr 6, 2010<br>
* Final Manuscript Due: Apr 27, 2010 <span style="">&nbsp;&nbsp;&nbsp; </span><span
 style="">&nbsp;&nbsp;</span><span style="">&nbsp;&nbsp;&nbsp; </span><br>
The 37th International Colloquium on Automata, Languages and<br>
Programming, the main conference and annual meeting of the European<br>
Association for Theoretical Computer Science (EATCS), will take place<br>
from the 5th to the 12th of July 2010 in Bordeaux, France. The main<br>
conference will be preceded and followed by a series of<br>
Workshops. Papers presenting original research on all aspects of<br>
theoretical computer science are sought. Typical but not exclusive<br>
topics of interest are:<br>
Track A - Algorithms, Complexity and Games<br>
Topics: Algorithmic Game Theory * Approximation Algorithms *<br>
Combinatorics in Computer Science * Computational Biology *<br>
Computational Complexity * Computational Geometry * Cryptography *<br>
Data Structures * Design and Analysis of Algorithms * Internet<br>
Algorithmics * Machine Learning * Parallel, Distributed and External<br>
Memory Computing * Randomness in Computation * Quantum Computing<br>
Track B - Logic, Semantics, Automata and Theory of Programming<br>
Topics: Algebraic and Categorical Models * Automata Theory, Formal<br>
Languages * Non-standard Approaches to Computability * Databases,<br>
Semi-Structured Data and Finite Model Theory * Principles of<br>
Programming Languages * Logics, Formal Methods and Model Checking *<br>
Models of Concurrent, Distributed, and Mobile Systems * Models of<br>
Reactive, Hybrid and Stochastic Systems * Program Analysis and<br>
Transformation * Specification, Refinement and Verification * Type<br>
Systems and Theory, Typed Calculi<br>
Track C - Foundations of Networked Computation: Models, Algorithms and
Information Management<br>
Topics: Algorithmic Aspects of Networks * Auctions * Computing with<br>
Incentives * E-commerce, Privacy, Spam * Formal Methods for Network<br>
Information Management * Foundations of Trust and Reputation in<br>
Networks * Internet Algorithmics * Mobile and Wireless Networks *<br>
Models of Complex Networks * Models and Algorithms for Global<br>
Computing * Models of Mobile Computation * Networks Economics *<br>
Networks of Low Capability Devices * Overlay Networks and P2P Systems<br>
* Social Networks * Specification, Semantics, Synchronization of<br>
Networked Systems * Theory of Security in networks and Distributed<br>
Computing * Web Searching, Ranking * Web Mining and Analysis<br>
Invited Speakers:<br>
* Pierre Fraigniaud (CNRS and Univ. Paris Diderot)<br>
* Jean Goubault-Larrecq (ENS Cachan and LSV)<br>
* Burkhard Monien (Univ. Paderborn)<br>
* Joel Ouaknine, (Oxford Univ. Computing Lab.)<br>
* Roger Wattenhofer (ETH Zurich)<br>
* Emo Welzl (ETH Zurich)<br>
Submission Guidelines:<br>
Submissions should be made through the on-line submission site:<br>
<a class="moz-txt-link-freetext" href="https://wiki.bordeaux.inria.fr/icalp10/index.php?n=Main.Submission">https://wiki.bordeaux.inria.fr/icalp10/index.php?n=Main.Submission</a><br>
Authors are invited to submit an extended abstract of no more than 12<br>
pages in LNCS style presenting original research on the theory of<br>
Computer Science. Submissions should indicate to which track (A, B, or<br>
C) the paper is submitted. No simultaneous submission to other<br>
publication outlets (either a conference or a journal) is allowed. The<br>
proceedings will be published in the Lecture Notes in Computer Science<br>
Series by Springer-Verlag.<br>
It is recommended that submissions adhere to the specified format and<br>
length. Submissions that are clearly too long may be rejected<br>
immediately. Additional material intended for the referee but not for<br>
publication in the final version - for example details of proofs - may<br>
be placed in a clearly marked appendix that is not included in the<br>
</span><span style="">page limit.<br>
Conference Chairs:<br>
* Cyril Gavoille, Univ. of Bordeaux (LaBRI) &amp; INRIA, Bordeaux.<br>
* Claude Kirchner, INRIA, Bordeaux.<br>
<span style="">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span style="">&nbsp;
</span><span style="">&nbsp;&nbsp;&nbsp; </span><span style="">&nbsp;</span><br>
</span><span style="" lang="EN-GB">Program Committees:<br>
Track A. - Algorithms, Complexity and Games<br>
</span><span style="" lang="PT-BR">* Dimitris Achlioptas, Univ. Santa
* Kwstis Daskalakis, MIT<br>
* Anuj Dawar, Cambridge Univ.<br>
</span><span style="" lang="SV">* Xiaotie Deng, City Univ. Hong Kong<br>
* Philippe Flajolet, INRIA<br>
* Micelle Flammini, Univ. L'Acquilla<br>
* Oscar Ibarra, UCSB (Santa Barbara)<br>
* Giuseppe Italiano, Univ. Roma 2<br>
* Kazuo Iwama, Univ. Kyoto<br>
* Klaus Jansen, Univ. Kiel<br>
* Elias Koutsoupias, Univ. Athens<br>
* Ludek Kucera, Charles Univ.<br>
* Daniel Marx, Budapest Univ.<br>
* Burkhard Monien, U Paderborn<br>
* Amin Coja Oghlan, Univ. Edinburgh<br>
* Tonyann Pitassi, Univ. Toronto<br>
* John Reif, Duke Univ.<br>
</span><span style="" lang="EN-GB">* Jose Rolim, Univ. Geneva<br>
* Paul Spirakis, Univ. Patras and RACTI (PC Chair)<br>
* Leslie Valiant, Harvard Univ.<br>
* Emo Welzl, ETH<br>
* Gerhard Woeginger, Univ. Eindhoven<br>
Track B - Logic, Semantics, Automata and Theory of Programming<br>
* Samson Abramsky, Oxford Univ. (PC Chair)<br>
* Luca Aceto, Univ. Rejkjavik<br>
* Lars Birkedal, Univ. Copenhagen<br>
* Mikolaj Bojanczyk, Univ. Warsaw<br>
* Patricia Bouyer, CNRS, LSV Cachan<br>
* Jos&eacute;e Desharnais, Univ. </span><span style="">Laval<br>
* Gilles Dowek, Ecole Polytechnique &amp; INRIA<br>
</span><span style="" lang="SV">* Manfred Droste, Univ. Leipzig<br>
* Peter Dybjer, Univ. </span><span style="" lang="PT-BR">Chalmers<br>
* Jose Felix Costa, Univ. Lisbon<br>
</span><span style="" lang="SV">* Phokion Kolaitis, IBM Almaden<br>
* Ugo Dal Lago, Univ. Bologna<br>
* Daniel Leivant, Univ. Indiana<br>
* Andrzej Murawski, Oxford Univ.<br>
* Filip Murlak, Univ. Edinburgh<br>
* Flemming Nielsen, Univ. </span><span style="">Copenhagen<br>
* Dominique Perrin, Univ. Paris Est<br>
* Alex Rabinovich, Univ. Tel Aviv<br>
* Lutz Schroder, DFKI Bremen<br>
* Ian Stark, Univ. Edinburgh<br>
Track C- Foundations of Networked Computation: Models, Algorithms and<br>
Information Management<br>
* Debora Donato, Yahoo! Research Barcelona<br>
* Faith Ellen, Univ. Toronto<br>
* Phil Gibbons, Intel Research Pittsburgh<br>
* Rob van Glabbeek, Stanford Univ. and National ICT Australia<br>
* Monika Henzinger, EPFL Lausanne<br>
* Christos Kaklamanis, Univ. of Patras<br>
* Fabian Kuhn, MIT<br>
* Miroslaw Kutylowski, Wroclaw University of Technology<br>
* Christian Lengauer, Univ. Passau<br>
* Stefano Leonardi, Sapienza Univ. of Rome<br>
* Friedhelm Meyer auf der Heide, Univ. Paderborn (PC chair)<br>
* Dusko Pavlovic, Oxford Univ. and Kestrel Institute<br>
* Andrzej Pelc, Univ. du Qu&eacute;bec en Outaouais<br>
* Giuseppe Persiano, Univ. Salerno<br>
* Frank Pfenning, CMU<br>
* Geppino Pucci, Univ. Padova<br>
* Christian Scheideler, Univ. Paderborn<br>
* Nir Shavit, Tel Aviv Univ.<br>
* Berthold V&ouml;cking, RWTH Aachen<br>
* Gerhard Weikum, MPI-Saarbr&uuml;cken<br>
Workshops Chair:<br>
* Ralf Klasing, CNRS &amp; Univ. Bordeaux (LaBRI) &amp; INRIA<br>
Publicity Chairs:<br>
* Nicolas Bonichon, Univ. Bordeaux (LaBRI) &amp; INRIA<br>
* Lionel Eyraud-Dubois, INRIA &amp; Univ. Bordeaux (LaBRI)<br>
* Fr&eacute;d&eacute;ric Mazoit, Univ. Bordeaux (LaBRI)<br>
Conference Secretariat:<br>
* Laetitia Grimaldi, INRIA, Bordeaux<br>
<span style="">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span><span style="">&nbsp;
</span><span style="">&nbsp;&nbsp;&nbsp; </span><span style="">&nbsp;</span><br>
ICALP 2010 is organised by the INRIA Bordeaux - Sud-Ouest research<br>
center in collaboration with the LaBRI, computer science laboratory of<br>
CNRS and the University of Bordeaux.<br>