[FM-India] FSTTCS 2011 Call for Papers

Supratik Chakraborty supratik at cse.iitb.ac.in
Tue Apr 26 11:57:43 IST 2011

Apologies for cross-postings.
Please visit www.fsttcs.org for more information

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


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


Luca Aceto
Yossi Azar
Mikolaj Bojancyk
Supratik Chakraborty (co-chair)
Krishnendu Chatterjee
Shuchi Chawla
Anuj Dawar
Stephanie Delaune
Benjamin Doerr
Zoltan Esik
Friedrich Eisenbrand
Javier Esparza
Martin Franzle
Sariel Har-Peled
Prahladh Harsha
Holger Hermanns
Radha Jagadeesan
Ragesh Jaiswal
Sanjeev Khanna
Amit Kumar (co-chair)
K. Narayan Kumar
Kim G. Larsen
Ashwin Nayak
Madhusudan Parthasarathy
Seth Pettie
S. Ramesh
Saket Saurabh
Anil Seth
Aravind Srinivasan
Martin J. Strauss
Ashish Tiwari
Nisheeth K. Vishnoi

More information about the FMIndia mailing list