[Agda] ICALP 2012 - 2nd Call for Papers

[Andrew Pitts]

 *ICALP 2012 - 2nd Call for Papers*

The 39th International Colloquium on Automata, Languages and Programming
(ICALP 2012), the main conference and annual meeting of the European
Association for Theoretical Computer Science (EATCS), will take place 9-13
July 2012 at the University of Warwick, UK.

 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.

 URL: http://www2.warwick.ac.uk/fac/cross_fac/dimap/icalp2012

 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*

 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

 Authors are invited to submit an extended abstract of no more than
12 pages (including references) in LNCS style. 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. Submissions must adhere to the specified format and

length. Submissions that do not adhere will be rejected immediately. If
necessary, the paper may be supplemented with a clearly marked appendix,
which will be reviewed at the discretion of the program committee.

 Submissions for each of the Tracks A, B and C should be made at
the EasyChair submission site, following the instructions at

 http://www2.warwick.ac.uk/fac/cross_fac/dimap/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)

Kohei Honda (Queen Mary London)

Stefano Leonardi (Sapienza University of Rome)

Daniel A. Spielman (Yale)

Berthold Vöcking (RWTH Aachen)


Conference Chair

 Artur Czumaj (University of Warwick)

Contact: <icalp2012 at dcs.warwick.ac.uk>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20120123/516a04f9/attachment-0001.html