<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<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"
href="file:///C:%5CDOCUME%7E1%5Cbonichon%5CLOCALS%7E1%5CTemp%5Cmsohtml1%5C01%5Cclip_filelist.xml">
<!--[if gte mso 9]><xml>
<w:WordDocument>
<w:View>Normal</w:View>
<w:Zoom>0</w:Zoom>
<w:HyphenationZone>21</w:HyphenationZone>
<w:Compatibility>
<w:BreakWrappedTables/>
<w:SnapToGridInCell/>
<w:ApplyBreakingRules/>
<w:WrapTextWithPunct/>
<w:UseAsianBreakRules/>
</w:Compatibility>
<w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel>
</w:WordDocument>
</xml><![endif]-->
<style>
<!--
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-parent:"";
margin:0cm;
margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Times New Roman";
mso-fareast-font-family:"Times New Roman";
mso-bidi-font-family:"Times New Roman";
mso-bidi-language:AR-SA;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{margin:0cm;
margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:10.0pt;
font-family:"Courier New";
mso-fareast-font-family:"Times New Roman";
mso-bidi-font-family:"Times New Roman";
mso-bidi-language:AR-SA;}
@page Section1
{size:595.3pt 841.9pt;
margin:70.85pt 57.6pt 70.85pt 57.6pt;
mso-header-margin:35.4pt;
mso-footer-margin:35.4pt;
mso-paper-source:0;}
div.Section1
{page:Section1;}
-->
</style><!--[if gte mso 10]>
<style>
/* Style Definitions */
table.MsoNormalTable
{mso-style-name:"Tableau Normal";
mso-tstyle-rowband-size:0;
mso-tstyle-colband-size:0;
mso-style-noshow:yes;
mso-style-parent:"";
mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
mso-para-margin:0cm;
mso-para-margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:10.0pt;
font-family:"Times New Roman";}
</style>
<![endif]-->
<p class="MsoPlainText"><span style="" lang="EN-GB"><span style="">
</span>***
Apologies for multiple copies ***<br>
<br>
<span style=""> </span>IMPORTANT: Submission
site is open!<br>
______________________________________________________________________<br>
<br>
<br>
<span style=""> </span>CALL FOR PAPERS<br>
<br>
<span style=""> </span><span style=""> </span>ICALP
2010 <br>
<br>
<br>
<span style=""> </span>37th International Colloquium on Automata,
Languages and Programming<br>
<br>
<br>
<span style=""> </span><span style=""> </span>July
5-12, 2010<br>
<span style=""> </span><span style=""> </span>Bordeaux,
France<br>
<br>
<br>
<span style=""> </span><span style=""> </span><a class="moz-txt-link-freetext" href="http://icalp10.inria.fr/">http://icalp10.inria.fr/</a><br>
<br>
<br>
Supported by the European Association for Theoretical Computer Science
(EATCS)<br>
<br>
<br>
______________________________________________________________________<br>
<br>
Important Dates:<br>
* Submission Deadline: Feb 10, 2010<br>
* Author Notification: Apr 6, 2010<br>
* Final Manuscript Due: Apr 27, 2010 <span style=""> </span><span
style=""> </span><span style=""> </span><br>
______________________________________________________________________<br>
<br>
<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>
<br>
______________________________________________________________________<br>
<br>
Track A - Algorithms, Complexity and Games<br>
<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>
<br>
<br>
Track B - Logic, Semantics, Automata and Theory of Programming<br>
<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>
<br>
<br>
Track C - Foundations of Networked Computation: Models, Algorithms and
Information Management<br>
<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>
<br>
______________________________________________________________________<br>
<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>
<br>
<br>
<br>
______________________________________________________________________<br>
<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>
<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>
<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>
<br>
<br>
<br>
______________________________________________________________________<br>
<br>
Conference Chairs:<br>
* Cyril Gavoille, Univ. of Bordeaux (LaBRI) & INRIA, Bordeaux.<br>
* Claude Kirchner, INRIA, Bordeaux.<br>
<span style=""> </span><span style="">
</span><span style=""> </span><span style=""> </span><br>
<br>
</span><span style="" lang="EN-GB">Program Committees:<br>
<br>
Track A. - Algorithms, Complexity and Games<br>
</span><span style="" lang="PT-BR">* Dimitris Achlioptas, Univ. Santa
Cruz<br>
* 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>
<br>
Track B - Logic, Semantics, Automata and Theory of Programming<br>
<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ée Desharnais, Univ. </span><span style="">Laval<br>
* Gilles Dowek, Ecole Polytechnique & 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>
<br>
Track C- Foundations of Networked Computation: Models, Algorithms and<br>
Information Management<br>
<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é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öcking, RWTH Aachen<br>
* Gerhard Weikum, MPI-Saarbrücken<br>
<br>
<br>
<br>
Workshops Chair:<br>
* Ralf Klasing, CNRS & Univ. Bordeaux (LaBRI) & INRIA<br>
<br>
Publicity Chairs:<br>
* Nicolas Bonichon, Univ. Bordeaux (LaBRI) & INRIA<br>
* Lionel Eyraud-Dubois, INRIA & Univ. Bordeaux (LaBRI)<br>
* Frédéric Mazoit, Univ. Bordeaux (LaBRI)<br>
<br>
Conference Secretariat:<br>
* Laetitia Grimaldi, INRIA, Bordeaux<br>
<span style=""> </span><span style="">
</span><span style=""> </span><span style=""> </span><br>
<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>
<o:p> </o:p></span></p>
</body>
</html>