FSTTCS 2022 is the 42nd 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.

FSTTCS 2022 will be held in IIT Madras from December 18–20, 2022. The conference is organized in hybrid mode. There will be support for both in-person and online participation. In-person participation is encouraged.

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