IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science
December 12 to 14, 2011
(Co-located workshops: Dec 10-11, 2011 and Dec 15-16, 2011)
IIT Bombay, Mumbai, India

IARCS, the Indian Association for Research in Computing Science, announces the 31st Foundations of Software Technology and Theoretical Computer Science conference in IIT Bombay, Mumbai, 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, 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

Proceedings:

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 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.

Other events

There will be two co-located workshops: a pre-conference workshop (Dec 10-11, 2011) on Finite and Algorithmic Model Theory and a post-conference workshop (Dec 15-16, 2011) on Breakthroughs in Theoretical Computer Science. In addition, a workshop on Recent Advances in Data Structures is being organized post-FSTTCS (Dec 17-20, 2011) in Institute of Mathematical Sciences, Chennai.