12-14 Dec 2011
Mumbai, India
CALL FOR PAPERS
Foundations of Software Technology and
Theoretical Computer Science (FSTTCS 2011)
December 12-14, 2011 IIT Bombay, Mumbai
=========================================================
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