IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
December 10 to 14, 2013.
IIT Guwahati, India

IARCS, the Indian Association for Research in Computing Science, announces the 33rd Foundations of Software Technology and Theoretical Computer Science conference at IIT Guwahati, India.

The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

Scope

Representative areas include, but are not limited to:
  • Algorithms and data structures, including randomized, approximations, distributed, geometric, online, streaming, fixed-parameter and graph algorithms
  • Computational complexity, including circuits, communication, proof and structural complexity, pseudorandomness, PCPs and inapproximability
  • Combinatorial optimization, game theory and mechanism design, quantum computing, computational biology, cryptography and security
  • Automata and formal languages
  • Concurrent, timed and hybrid systems
  • 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- NOW OPEN

Submissions will be in electronic form via the EasyChair site here and are restricted to 12 pdf pages using the LIPIcs LaTeX style file (see here). Proofs omitted due to space constraints must be put into an appendix to be read by the PC members/reviewers at their discretion. Accepted papers will be published as 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 3.0 Unported 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.