IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
December 9 to 11, 2008, Bangalore, India

IARCS, the Indian Association for Research in Computing Science, announces the 28th Foundations of Software Technology and Theoretical Computer Science conference in Bangalore, India. The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology. This year, FSTTCS will be colocated with the Sixth Asian Symposium on Programming Languages and Systems (APLAS 2008).

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, 2008 , 23:30 Western Samoan Time (GMT-11)
Notification to Authors : 1 September, 2008
Final Version due on : 6 October, 2008

Submission:

Authors may submit drafts of full papers or extended abstracts. Submissions are limited to 12 pages using 11-point or larger font, with adequate spacing and 1-inch margins all around. Abstracts deviating significantly from these guidelines risk rejection. 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 a new initiative towards an open system, the proceedings will take the form of a free, open, electronic archive with access to all. Additionally, 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