Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the premier international computer science conference in India, and takes place each year in December since 1981. It is organised by IARCS, the Indian Association for Research in Computing Science, in association with ACM India. The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

FSTTCS 2026 is the 46th 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. Within Track B, there is a focus on soliciting submissions in the areas of Programming Languages and Practical Verification, in addition to theoretical results.
Venue

FSTTCS 2026 will be held in IIT Delhi, New Delhi, India during December 16–18, 2026. The conference is being organized as an in-person event.

List of topics
Track A

Algebraic Complexity
Algorithms and Data Structures
Algorithmic Graph Theory and Combinatorics
Approximation Algorithms
Combinatorial Optimization
Communication Complexity
Computational Geometry
Computational Learning Theory
Cryptography and Security
Data Streaming and Sublinear algorithms
Economics and Computation
Foundations of Machine Learning
Parallel, Distributed and Online Algorithms
Parameterized Complexity
Proof Complexity
Quantum Computing
Randomness in Computing
Theoretical Aspects of Computational Biology
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 and Quantum Systems
Finite Model Theory and Database Theory
Formal Methods
Principles and Semantics of Programming Languages
Program Analysis and Transformation
Specification, Verification and Synthesis
Analysis and Verification of AI
Theorem Proving and Decision Procedures
SAT and SMT solving
Formal Analysis of Security and Privacy