posted by user: gauwin || 5182 views || tracked by 17 users: [display]

ICALP 2012 : 39th International Colloquium on Automata, Languages and Programming

FacebookTwitterLinkedInGoogle


Conference Series : International Colloquium on Automata, Languages and Programming
 
Link: http://www2.warwick.ac.uk/fac/cross_fac/dimap/icalp2012
 
When Jul 9, 2012 - Jul 13, 2012
Where Warwick, UK
Submission Deadline Feb 21, 2012
Notification Due Apr 17, 2012
Final Version Due May 8, 2012
Categories    formal methods   automata theory   verification
 

Call For Papers

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.

Submission Guidelines

Submissions should take the form of an extended abstract of no more than 12 pages (including references) presenting original research on the theory of computer science. The abstract must be prepared with the LNCS-style provided by Springer (Download the LNCS class file for LaTeX-2e). Accepted submissions will be published in a proceedings volume in the Lecture Notes in Computer Science Series by Springer-Verlag. No prior publication or simultaneous submission to other publication outlets (either a conference or a journal) is allowed. If necessary, the submission may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Submissions must adhere to the specified format and length. Submissions that do not adhere will be rejected immediately.

Technical enquiries about submissions should be directed to the PC Chair for the appropriate Track.

Download the LNCS class file for LaTeX-2e from Springer.
Best Paper Awards

As for previous ICALP conferences, 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.
Submission server

Submissions should be contributed using the EasyChair system. The URL for submitting papers is http://www.easychair.org/ conferences/?conf=icalp2012. This link will bring you to the login page for ICALP 2012. Sign in as an author either using your existing EasyChair account, or sign up for a new account. You will reach the "ICALP 2012 (author)" page. The page should be self-explanatory. To submit a new paper, click "New Submission", select which of Tracks A, B or C you are submitting to and follow the instructions.

The deadline for submissions is 23:59 GMT on 21 February 2011.

Related Resources

ICALP 2018   International Colloquium on Automata, Languages and Programming
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
PLDI 2019   Programming Language Design and Implementation
BES 2018   3rd International Conference on Biomedical Engineering and Science
ASPLOS 2019   Architectural Support for Programming Languages and Operating Systems
HSCC 2019   22nd ACM International Conference on Hybrid Systems: Computation and Control
POPL 2019   Symposium on Principles of Programming Languages
FCT 2019   22nd Symposium on Fundamentals of Computation Theory
LATA 2019   13th International Conference on Language and Automata Theory and Applications
IJPLA 2018   International Journal of Programming Languages and Applications