[Om-announce] ICALP 2010 - Submission site is open

Nicolas Bonichon bonichon at labri.fr
Fri Jan 15 13:12:39 CET 2010


*** Apologies for multiple copies ***

IMPORTANT: Submission site is open!
______________________________________________________________________


CALL FOR PAPERS

ICALP 2010


37th International Colloquium on Automata, Languages and Programming


July 5-12, 2010
Bordeaux, France


http://icalp10.inria.fr/


Supported by the European Association for Theoretical Computer Science 
(EATCS)


______________________________________________________________________

Important Dates:
* Submission Deadline: Feb 10, 2010
* Author Notification: Apr 6, 2010
* Final Manuscript Due: Apr 27, 2010
______________________________________________________________________


The 37th 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 5th to the 12th of July 2010 in Bordeaux, France. The main
conference will be preceded and followed by a series of
Workshops. Papers presenting original research on all aspects of
theoretical computer science are sought. Typical but not exclusive
topics of interest are:

______________________________________________________________________

Track A - Algorithms, Complexity and Games

Topics: Algorithmic Game Theory * Approximation Algorithms *
Combinatorics in Computer Science * Computational Biology *
Computational Complexity * Computational Geometry * Cryptography *
Data Structures * Design and Analysis of Algorithms * Internet
Algorithmics * Machine Learning * Parallel, Distributed and External
Memory Computing * Randomness in Computation * Quantum Computing


Track B - Logic, Semantics, Automata and Theory of Programming

Topics: Algebraic and Categorical Models * Automata Theory, Formal
Languages * Non-standard Approaches to Computability * 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 - Foundations of Networked Computation: Models, Algorithms and 
Information Management

Topics: Algorithmic Aspects of Networks * Auctions * Computing with
Incentives * E-commerce, Privacy, Spam * Formal Methods for Network
Information Management * Foundations of Trust and Reputation in
Networks * Internet Algorithmics * Mobile and Wireless Networks *
Models of Complex Networks * Models and Algorithms for Global
Computing * Models of Mobile Computation * Networks Economics *
Networks of Low Capability Devices * Overlay Networks and P2P Systems
* Social Networks * Specification, Semantics, Synchronization of
Networked Systems * Theory of Security in networks and Distributed
Computing * Web Searching, Ranking * Web Mining and Analysis

______________________________________________________________________

Invited Speakers:
* Pierre Fraigniaud (CNRS and Univ. Paris Diderot)
* Jean Goubault-Larrecq (ENS Cachan and LSV)
* Burkhard Monien (Univ. Paderborn)
* Joel Ouaknine, (Oxford Univ. Computing Lab.)
* Roger Wattenhofer (ETH Zurich)
* Emo Welzl (ETH Zurich)



______________________________________________________________________

Submission Guidelines:
Submissions should be made through the on-line submission site:
https://wiki.bordeaux.inria.fr/icalp10/index.php?n=Main.Submission

Authors are invited to submit an extended abstract of no more than 12
pages in LNCS style presenting original research on the theory of
Computer Science. 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. The
proceedings will be published in the Lecture Notes in Computer Science
Series by Springer-Verlag.

It is recommended that submissions adhere to the specified format and
length. Submissions that are clearly too long may be rejected
immediately. Additional material intended for the referee but not for
publication in the final version - for example details of proofs - may
be placed in a clearly marked appendix that is not included in the
page limit.



______________________________________________________________________

Conference Chairs:
* Cyril Gavoille, Univ. of Bordeaux (LaBRI) & INRIA, Bordeaux.
* Claude Kirchner, INRIA, Bordeaux.


Program Committees:

Track A. - Algorithms, Complexity and Games
* Dimitris Achlioptas, Univ. Santa Cruz
* Kwstis Daskalakis, MIT
* Anuj Dawar, Cambridge Univ.
* Xiaotie Deng, City Univ. Hong Kong
* Philippe Flajolet, INRIA
* Micelle Flammini, Univ. L'Acquilla
* Oscar Ibarra, UCSB (Santa Barbara)
* Giuseppe Italiano, Univ. Roma 2
* Kazuo Iwama, Univ. Kyoto
* Klaus Jansen, Univ. Kiel
* Elias Koutsoupias, Univ. Athens
* Ludek Kucera, Charles Univ.
* Daniel Marx, Budapest Univ.
* Burkhard Monien, U Paderborn
* Amin Coja Oghlan, Univ. Edinburgh
* Tonyann Pitassi, Univ. Toronto
* John Reif, Duke Univ.
* Jose Rolim, Univ. Geneva
* Paul Spirakis, Univ. Patras and RACTI (PC Chair)
* Leslie Valiant, Harvard Univ.
* Emo Welzl, ETH
* Gerhard Woeginger, Univ. Eindhoven

Track B - Logic, Semantics, Automata and Theory of Programming

* Samson Abramsky, Oxford Univ. (PC Chair)
* Luca Aceto, Univ. Rejkjavik
* Lars Birkedal, Univ. Copenhagen
* Mikolaj Bojanczyk, Univ. Warsaw
* Patricia Bouyer, CNRS, LSV Cachan
* Josée Desharnais, Univ. Laval
* Gilles Dowek, Ecole Polytechnique & INRIA
* Manfred Droste, Univ. Leipzig
* Peter Dybjer, Univ. Chalmers
* Jose Felix Costa, Univ. Lisbon
* Phokion Kolaitis, IBM Almaden
* Ugo Dal Lago, Univ. Bologna
* Daniel Leivant, Univ. Indiana
* Andrzej Murawski, Oxford Univ.
* Filip Murlak, Univ. Edinburgh
* Flemming Nielsen, Univ. Copenhagen
* Dominique Perrin, Univ. Paris Est
* Alex Rabinovich, Univ. Tel Aviv
* Lutz Schroder, DFKI Bremen
* Ian Stark, Univ. Edinburgh

Track C- Foundations of Networked Computation: Models, Algorithms and
Information Management

* Debora Donato, Yahoo! Research Barcelona
* Faith Ellen, Univ. Toronto
* Phil Gibbons, Intel Research Pittsburgh
* Rob van Glabbeek, Stanford Univ. and National ICT Australia
* Monika Henzinger, EPFL Lausanne
* Christos Kaklamanis, Univ. of Patras
* Fabian Kuhn, MIT
* Miroslaw Kutylowski, Wroclaw University of Technology
* Christian Lengauer, Univ. Passau
* Stefano Leonardi, Sapienza Univ. of Rome
* Friedhelm Meyer auf der Heide, Univ. Paderborn (PC chair)
* Dusko Pavlovic, Oxford Univ. and Kestrel Institute
* Andrzej Pelc, Univ. du Québec en Outaouais
* Giuseppe Persiano, Univ. Salerno
* Frank Pfenning, CMU
* Geppino Pucci, Univ. Padova
* Christian Scheideler, Univ. Paderborn
* Nir Shavit, Tel Aviv Univ.
* Berthold Vöcking, RWTH Aachen
* Gerhard Weikum, MPI-Saarbrücken



Workshops Chair:
* Ralf Klasing, CNRS & Univ. Bordeaux (LaBRI) & INRIA

Publicity Chairs:
* Nicolas Bonichon, Univ. Bordeaux (LaBRI) & INRIA
* Lionel Eyraud-Dubois, INRIA & Univ. Bordeaux (LaBRI)
* Frédéric Mazoit, Univ. Bordeaux (LaBRI)

Conference Secretariat:
* Laetitia Grimaldi, INRIA, Bordeaux


ICALP 2010 is organised by the INRIA Bordeaux - Sud-Ouest research
center in collaboration with the LaBRI, computer science laboratory of
CNRS and the University of Bordeaux.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om-announce/attachments/20100115/f86ed646/attachment-0001.htm 


More information about the Om-announce mailing list