Call for Papers

Here is a printable PDF version of the Call for Papers.

Scope

Authors are invited to submit papers presenting original and unpublished research in any area of Theoretical Computer Science or Foundational aspects of Software Technology. Representative areas include, but are not limited to:
  • Algorithms and data structures, including randomized and approximation algorithms, distributed algorithms, geometry, online and streaming algorithms, fixed-parameter algorithms, graph algorithms, algorithmic game theory
  • Automata and formal languages
  • Combinatorial optimization
  • Computational complexity, including circuits, communication, derandomization, PCPs, inapproximability, proof complexity, structural complexity
  • Concurrent, timed and hybrid systems
  • Cryptography and security
  • Logic in computer science, including finite model theory, modal and temporal logics, specification, verification, and synthesis
  • Programming languages, including semantics, types, program analysis and correctness

Submissions

Submissions will be in electronic form via EasyChair. Submissions are restricted to 12 pages using the LIPIcs LaTeX style file. Proofs omitted due to space constraints must be put into an appendix to be read by the program committee members/reviewers at their discretion. Authors should upload pdf files generated using the style file.

Concurrent submissions are not allowed until accept/reject notification (or submission of the final version, if the submission is accepted at FSTTCS).

Important Dates

Submissions: July 13, 2012 (Anywhere on Earth Time).
Please note: No new submissions will be accepted after 12:00 (noon) GMT on Sat 14th July. However authors will be allowed to update their submissions till 12:00 GMT on Monday 16th July.
Notification to Authors: September 12, 2012.
Final Version Due: October 10, 2012.
Conference: December 15-17, 2012.

Proceedings

Accepted papers will be published as the proceedings of the Conference in the Leibniz International Proceedings in Informatics (LIPIcs) as a free, open, electronic archive with access to all. Authors will retain full rights over their work. The accepted papers will be licensed under the Creative Commons Attribution-Noncommercial-No Derivative Works 2.5 License: Creative Commons -NC-ND.

For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference.