[TYPES/announce] ICALP 2012 First Call for Papers

Andrew Pitts Andrew.Pitts at cl.cam.ac.uk
Tue Nov 8 07:01:25 EST 2011

==================================ICALP 2012 - First Call for
The 39th International Colloquium on Automata, Languages
andProgramming (ICALP 2012), the main conference and annual meeting
ofthe European Association for Theoretical Computer Science
(EATCS),will take place 9-13 July 2012 at the University of Warwick,
The conference is also one of the Alan Turing Centenary
Celebrationevents, celebrating the Life and Work, and Legacy of Alan
Turing. Themain conference will be preceded by a series of workshops.
URL: http://www2.warwick.ac.uk/go/icalp2012
Topics------Papers presenting original research on all aspects of
theoreticalcomputer science are sought. Typical but not exclusive
topics ofinterest are:
Track A: Algorithms, Complexity and Games
Algorithmic Game Theory, Approximation Algorithms,
CombinatorialOptimization, Combinatorics in Computer Science,
ComputationalBiology, 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
ofProgramming Languages, Logics, Formal Methods and Model
Checking,Models of Concurrent, Distributed, and Mobile Systems, Models
ofReactive, Hybrid and Stochastic Systems, Program Analysis
andTransformation, Specification, Refinement and Verification,
TypeSystems 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;
InternetAlgorithms; Mobile and Complex Networks; Natural and
PhysicalAlgorithms; Network Information Management; Sensor, Mesh, and
Ad HocNetworks; Social Networks, Viral Marketing; Specification,
Semantics,Synchronization; Trust and Reputation; Web Mining and
Analysis; WebSearching and Ranking; Wireless and Optical
Important Dates---------------* Submission: February 21, 2012*
Notification: April 17 2012* Final manuscript due: May 8, 2012* The
conference: July 9 - 13, 2012
Submission Guidelines---------------------URL:
Best Paper Awards-----------------As in previous editions of ICALP,
there will be best paper and beststudent paper awards for each track
of the conference. In order to beeligible for a best student paper
award, a paper should be authoredonly 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>

More information about the Types-announce mailing list