IARCS, the Indian Association for Research in Computing Science,
announces the 33rd Foundations of Software Technology and Theoretical
Computer Science conference at the Indian Institute of Technology,
Guwahati, India. The FSTTCS conference is a forum for presenting original
results in foundational aspects of Computer Science and Software
Technology.
SCOPE
Authors are invited to submit papers presenting original and unpublished
research in any areas of Theoretical Computer Science or Foundational
aspects of Software Technology. Representative areas include, but are not
limited to:
?
Algorithms and data structures: randomized approximation, distributed,
geometric, online, streaming, fixed-parameter and graph algorithms
?
Computational complexity: circuit, communication, proof and
structural complexity, pseudo-randomness, 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
Submissions will be in electronic form via the EasyChair site
(
www.easychair.org/conferences/?conf=fsttcs2013
) and are restricted to 12
pdf pages using the LIPIcs LaTeX style file (see drops.dagstuhl.de/styles/
lipics/lipics-authors.tgz). 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 the proceedings of the
conference in the Leibniz International Proceedings in Informatics (LIPIcs)
(see
www.dagstuhl.de/en/publications/lipics
) as a free, open, electronic
archive with access to all. Authors will retain full rights over their work.
Concurrent submission to other conferences or journals is not acceptable.
WORKSHOPS
Dec. 10-11, 2013

. Details to posted in the conference webpage.

http://www.fsttcs.org