IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
December 15 to 17, 2009, IIT Kanpur, India

IARCS, the Indian Association for Research in Computing Science, announces the 29th Foundations of Software Technology and Theoretical Computer Science conference in IIT Kanpur, India. The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

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; including randomized and approximation algorithms, distributed algorithms
  • Automata and Formal Languages
  • Computational Complexity
  • Quantum Computing and other new Computation Models
  • Logic in Computer Science, including: semantics, specification, and verification of programs, type theory, rewriting and deduction
  • Concurrency
  • Cryptography and security

Important Dates:

Submission Deadline : 7 July, 2009, 23:30 Western Samoan Time (GMT-11)
Notification to Authors : 14 September, 2009
Final Version due on : 16 October, 2009

Submission:

Authors may submit drafts of full papers or extended abstracts. Submissions are limited to 12 pages using the FSTTCS style file fsttcs.cls. Proofs omitted due to space constraints may be put into a clearly marked appendix (but the paper should be intelligible without the appendix, as reviewers are not required to read appendices). Concurrent submission to other conferences or journals is not acceptable. Submissions are to be made electronically only. The site for submissions is EasyChair.

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