Monday, February 13, 2012

[DMANET] ICALP 2012, 2nd Call for Papers

ICALP 2012 - 39TH INTERNATIONAL COLLOQUIUM ON AUTOMATA, LANGUAGES AND PROGRAMMING

Call for Papers
9 - 13 July 2012, University of Warwick, UK
http://www2.warwick.ac.uk/icalp2012

* The main conference and annual meeting of the European Association
for Theoretical Computer Science (EATCS). The conference is also
one of the Alan Turing Centenary Celebration events, celebrating the
Life and Work, and Legacy of Alan Turing. The main conference will
be preceded 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

Algorithmic Game Theory, Approximation Algorithms, Combinatorial
Optimization, Combinatorics in Computer Science, Computational
Biology, Computational Complexity, Computational Geometry,
Cryptography, Data Structures, Design and Analysis of Algorithms,
Machine Learning, Parallel, Distributed and External Memory
Computing, Randomness in Computation, Quantum Computing.

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

Algebraic and Categorical Models, Automata Theory, 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: Foundations of Networked Computation

Cloud Computing, Overlay Networks, P2P Systems; Cryptography,
Privacy,Security, Spam; Distributed and Parallel Computing;
E-commerce, Auctions; Game Theory, Incentives, Selfishness; Internet
Algorithms; Mobile and Complex Networks; Natural and Physical
Algorithms; Network Information Management; Sensor, Mesh, and Ad Hoc
Networks; Social Networks, Viral Marketing; Specification,
Semantics, Synchronization; Trust and Reputation; Web Mining and
Analysis; Web Searching and Ranking; Wireless and Optical
Communication.

* Important Dates:
Submission: February 21, 2012
Notification: April 17 2012
Final manuscript due: May 8, 2012
The conference: July 9 - 13, 2012

* Submission Guidelines
http://www2.warwick.ac.uk/icalp2012/cfp/

* Best Paper Awards
As in previous editions of ICALP, there will be best paper and best
student paper awards for each track of the conference. In order to
be eligible for a best student paper award, a paper should be
authored only by students and should be marked as such upon
submission.

* Invited Speakers
Gilles Dowek (INRIA Paris)
Alan Turing talk: David Harel (The Weizmann Institute of Science)
Kohei Honda (Queen Mary London)
Stefano Leonardi (Sapienza University of Rome)
Daniel A. Spielman (Yale)
Berthold Vöcking (RWTH Aachen)

* Satellite Workshops (http://www2.warwick.ac.uk/icalp2012/workshops):
- Applications of Parameterized Algorithms and Complexity (APAC)
- Classical Logic and Computation (CL&C)
- Realistic Models for Algorithms in Wireles Networks (WRAWN)

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************