The Indian Association for Research in Computing
  Science, announces the 31st  Annual FSTTCS Conference
  in IIT Bombay, Mumbai.  The FSTTCS conference is a forum
  for presenting original results in foundational aspects
  of Computer Science and Software Technology.

  Invited speakers at the 31st FSTTCS include
  * Susanne Albers (Humboldt-Universitat zu Berlin, Germany),
  * Phokion G. Kolaitis (Univ. of California, Santa Cruz, USA),
  * John C. Mitchell (Stanford University, USA),
  * Madhu Sudan (MSR New England and MIT, USA),
  * Moshe Y. Vardi (Rice University, USA), and
  * Umesh V. Vazirani (Univ. of California, Berkeley, USA)

  Authors are invited to submit papers presenting original
  unpublished research in any area of Theoretical Computer
  Science or Foundational aspects of Software Technology.
  Submissions will be electronic, via EasyChair (please see
  www.easychair.org/conferences/?conf=fsttcs2011).
  Submissions are restricted to 12 pages using the FSTTCS
  style file (please see www.fsttcs.org/fsttcs.cls). Proofs
  omitted due to space constraints must be put into an
  appendix to be read by reviewers at their discretion.
  Concurrent submissions to other conferences/journals/symposia
  are not allowed until accept/reject notification (or until
  submission of the final version, if accepted).  For further
  details about submissions, please visit www.fsttcs.org

  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

  Accepted papers will be published as the proceedings of the
  conference in the Leibniz International Proceedings in
  Informatics (LIPIcs) series as a free, open, electronic archive
  with access to all. For an accepted paper to be included in
  the proceedings, at least one of the authors must commit to
  presenting the paper at the conference. It is likely that there
  will be a couple of workshops preceding FSTTCS on
  some contemporary areas of research.  Details of workshops will
  be announced on the conference web page (www.fsttcs.org) in
  September 2011.

  IMPORTANT DATES:

  Submission server opens: June 1, 2011
  Submission deadline:     July 6, 2011
  Notification to authors: Sept 5, 2011
  Final version due:       Oct  5, 2011
  Conference:           Dec 12-14, 2011