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