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

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
• Game Theory and Mechanism Design
• 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
• Model Checking and Reactive Synthesis
• 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. 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.

• FSTTCS 2021: December 15–18, 2021.
• Post-conference workshops: December 19, 2021.

Track A

• Amey Bhangale (University of California, Riverside)
• Chandra Chekuri (University of Illinois, Urbana-Champaign) – Chair
• Ashish Chiplunkar (IIT Delhi)
• Keerti Choudhary (IIT Delhi)
• Omar Fawzi (INRIA, Lyon)
• Uriel Feige (Weizmann Institute)
• Anna Gál (University of Texas, Austin)
• Divya Gupta (Microsoft Research India)
• Sushmita Gupta (Institute of Mathematical Sciences, Chennai)
• Valentine Kabanets (Simon Fraser University)
• Sanjeev Khanna (University of Pennsylvania)
• Sudeshna Kolay (IIT Kharagpur)
• Ravishankar Krishnaswamy (Microsoft Research India)
• Kamesh Munagala (Duke University)
• Sriram Pemmaraju (University of Iowa)
• Rahul Saladi (IISc Bangalore)
• Swagato Sanyal (IIT Kharagpur)

Track B

• S Akshay (IIT Bombay)
• Mikołaj Bojańczyk (University of Warsaw) – Chair
• Dmitry Chistikov (University of Warwick)
• Thomas Colcombet (IRIF, Paris)
• Anuj Dawar (University of Cambridge)
• Manfred Droste (University of Leipzig)
• Barbara König (University of Duisburg-Essen)
• Rupak Majumdar (MPI-SWS)
• Filip Mazowiecki (MPI-SWS)
• Andrzej Murawski (University of Oxford)
• Joanna Ochremiak (CNRS, Bordeaux)
• M Praveen (Chennai Mathematical Institute)
• Karin Quaas (University of Leipzig)
• Ocan Sankur (IRISA, Rennes)
• Helmut Seidl (Technical University Munich)
• Georg Zetzsche (MPI-SWS)

The organizing chair is A Baskar (BITS Pilani, Goa). The rest of the committee will be announced soon.

All questions about submissions should be emailed to the PC chairs or the organizing chair.