ICALP 2011 - Call for Papers
============================
The 38th International Colloquium on Automata, Languages and
Programming (ICALP), the main conference and annual meeting of the
European Association for Theoretical Computer Science (EATCS), will
take place from the 4th to the 8th of July 2011 in Zurich,
Switzerland. The main conference will be preceded by a series of
workshops, taking place on Sunday, July 3rd, 2011 (i.e., one day
before ICALP).
URL: http://icalp11.inf.ethz.ch/
Topics
------
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: Models, Algorithms and
Information Management
Algorithmic Aspects of Networks, E-commerce, Privacy, Spam, Formal
Methods for Network Information Management, Foundations of Trust and
Reputation in Networks, Algorithms and Models for Mobile and Wireless
Networks and Computation, Models of Complex Networks, Models and
Algorithms for Global Computing, Network Economics and Incentive-Based
Computing Related to Networks, Models and Algorithms for 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 and Ranking, Web Mining and Analysis
Important Dates
---------------
* Submission Deadline: Feb 15, 2011
* Author Notification: Apr 12, 2011
* Final Manuscript Due: April 28, 2011
Submission Guidelines
---------------------
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 prior publication or 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 strongly recommended that submissions adhere to the specified
format and length. Submissions that are clearly too long may be
rejected immediately. Material other than the abstract, references and
the first 12 pages may be considered as supplementary and will be read
at the committee's discretion.
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
----------------
Rajeev Alur, University of Pennsylvania
Thore Husfeldt, IT University of Copenhagen
Catuscia Palamidessi, INRIA Saclay and LIX
Ronen Shaltiel, University of Haifa
Eva Tardos, Cornell University
Conference Chairs
-----------------
Michael Hoffmann, Juraj Hromkovic, Ueli Maurer, Angelika Steger, Emo
Welzl, Peter Widmayer, all ETH Zurich
Contact: <icalp11@inf.ethz.ch>
**********************************************************
*
* 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/
*
**********************************************************
Posts
