FSTTCS 2021 is the 41st conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS, the Indian Association for Research in Computing Science, in association with ACM India. It is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

Due to the Covid situation in India and the rest of the world, and to rule out uncertainty for authors and the local organizers, FSTTCS 2021 will be held virtually.

---

List of Topics

Track A

• Algebraic Complexity
• Algorithms and Data Structures
• Algorithmic Graph Theory and Combinatorics
• Approximation Algorithms
• Combinatorial Optimization
• Communication Complexity
• Computational Biology
• Computational Complexity
• Computational Geometry
• Computational Learning Theory
• Cryptography and Security
• Data Streaming and Sublinear algorithms
• Economics and Computation
• Parallel, Distributed and Online Algorithms
• Parameterized Complexity
• Proof Complexity
• Quantum Computing
• Randomness in Computing
• Theoretical Aspects of Mobile and High-Performance Computing

Track B

• Automata, Games and Formal Languages
• Logic in Computer Science
• Modal and Temporal Logics
• Models of Concurrent, Distributed and Mobile Systems
• Models of Timed, Reactive, Hybrid and Stochastic Systems
• Model Theory
• Principles and Semantics of Programming Languages
• Program Analysis and Transformation
• Security protocols
• Specification, Verification and Synthesis
• Theorem Proving and Decision Procedures

Submissions must be in electronic form via EasyChair using the LIPIcs LaTeX style file available here. Submissions must not exceed 12 pages (excluding bibliography), but may include a clearly marked appendix containing technical details. The appendix will be read only at the discretion of the program committee. 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)​ as a free, open, electronic archive with access to all. Authors will retain full rights over their work. The accepted papers will be published under a ​CC-BY license​. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference.

• Submission deadline: July 19, 2021 AoE (firm)
• Rebuttal phase: August 30 – September 1, 2021
• Notification to authors: September 20, 2021
• Deadline for camera-ready papers: October 4, 2021
• Pre-conference workshops: December 14, 2021
• FSTTCS 2021: December 15–17, 2021.
• Post-conference workshops: December 18, 2021.

• Scott Aaronson (University of Texas, Austin)
• Javier Esparza (TU Munich)
• Leslie Ann Goldberg (University of Oxford)
• Huijia (Rachel) Lin (University of Washington)
• Rahul Savani (University of Liverpool)