Call for Papers

Here is a printable version (PDF) 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. Submission will be electronic, via the EasyChair site. Representative areas include, but are not limited to:
  • Algorithms, including: randomized and approximation algorithms, distributed algorithms, geometry, online and streaming algorithms, fixed-parameter algorithms
  • Automata and Formal Languages
  • Combinatorial Optimization
  • Computational Complexity, including: circuits, communication, derandomization, PCPs, 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 and verification
  • Programming languages, including: semantics, types, program analysis and correctness

Concurrent Submissions:

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

Submission Format:

Submissions are restricted to 12 pages using the FSTTCS 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 LaTeX along with the FSTTCS style file. Examples of usage for this style can be downloaded here as a zip file.

Accepted papers will have to be formatted for the Proceedings using the LIPIcs LaTeX style, which will be available shortly.

Important Dates

Submissions: 1 June 2010 to 7 July 2010
Notification to Authors: 13 September 2010
Final Version Due: 8 October 2010
Conference: 15-18 December 2010

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.