IARCS, the Indian Association for Research in Computing Science, announces the 39th Foundations of Software Technology and Theoretical Computer Science conference at IIT Bombay. 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, Games and Formal Languages
  • 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
  • Logic in Computer Science
  • Modal and Temporal Logics
  • Model Checking and Reactive Synthesis
  • Models of Concurrent and Distributed Systems
  • Models of Timed, Reactive, Hybrid and Stochastic Systems
  • Model Theory
  • Parallel, Distributed and Online Algorithms
  • Parameterized Complexity
  • Principles and Semantics of Programming Languages
  • Program Analysis and Transformation
  • Proof Complexity
  • Quantum Computing
  • Randomness in Computing
  • Theorem Proving and Decision Procedures
  • Theoretical Aspects of Mobile and High-Performance Computing

  • SAT/SMT winter school (co-located with FSTTCS 2019): December 8–10, 2019.
  • Pre-conference workshop: December 10, 2019.
  • FSTTCS 2019: December 11–13, 2019.
  • Post-conference workshop : December 14, 2019.

Track A


Track B

  • S Akshay (Indian Institute of Technology Bombay) – co-chair
  • Nutan Limaye (Indian Institute of Technology Bombay) – co-chair