About FSTTCS

IARCS,
the Indian Association for
Research in Computing Science,
announces the 35th Foundations
of Software Technology and
Theoretical Computer Science
conference at the Indian
Institute of Science,
Bangalore, India. The FSTTCS
conference is a forum for
presenting original results in
foundational aspects of
Computer Science and Software
Technology.

Representative areas include, but
are not limited to, the following.

Algorithms and Data Structures

Algorithmic Graph Theory and Combinatorics

Approximation Algorithms

Automata and Formal Languages

Combinatorial Optimization

Communication Complexity

Computational Biology

Computational Complexity

Computational Geometry

Computational Learning Theory

Cryptography and Security

Game Theory and Mechanism Design

Logic in Computer Science

Model Theory, Modal and Temporal Logics

Models of Concurrent and Distributed Systems

Models of Timed, Reactive, Hybrid and Stochastic Systems

Parallel, Distributed and Online Algorithms

Parameterized Complexity

Principles and Semantics of Programming Languages

Program Analysis and Transformation

Proof Complexity

Quantum Computing

Randomness in Computing

Specification, Verification, and Synthesis

Theorem Proving, Decision Procedures, and Model Checking

Theoretical Aspects of Mobile and High-Performance Computing

Submissions

Submissions will be in electronic form via
EasyChair.
There is no page limit, however
material other than the abstract,
references, and the first 12 pages is
considered as supplementary. A
submission must contain within its
first 12 pages (not including the abstract and references) a clear presentation of
the merits of the paper. The
submission should be in single-column
format, use at least 10-point font,
and have standard margins and spacing
between lines. (Please note that the fontsize constraint has been relaxed to be consistent with the LIPIcs class file.) Simultaneous submissions to journals or other
conferences with published proceedings
are disallowed.

Accepted papers will be published as proceedings of the conference in the
Leibniz International Proceedings in
Informatics (LIPIcs), under a CC-BY
license, as a free, open,
electronic archive with access to all.
Instructions for formatting
camera-ready versions will be
communicated to the authors of
accepted papers. Authors will retain
full rights over their work. For an
accepted paper to be included in the
proceedings, one of the authors must
commit to presenting the paper at the
conference.