FSTTCS 2021

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

Submission Guidelines

Submissions must be in electronic form via EasyChair using the LIPIcs LaTeX style file available here. 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.

Important Dates

  • Submission deadline: July 19, 2021 AoE (firm)
  • Rebuttal phase: August 30 – September 1, 2021
  • Notification to authors: September 20, 2021
  • Deadline for camera-ready papers: October 4, 2021
  • Deadline for basic registration: December 10, 2021
  • Pre-conference workshops: December 14, 2021
  • FSTTCS 2021: December 15–17, 2021.
  • Post-conference workshops: December 18, 2021.

Invited Speakers

Workshops and co-located events

iVerif: Workshop on artificial intelligence and Verification

Recently, efficient artificial intelligence techniques are increasingly applied to problems which are (theoretically) hard or even undecidable, while usually no formal correctness guarantees are given. These shortcomings raise the following question: Can AI borrow from the verification techniques where correctness is of paramount importance, and thus provide correctness guarantees? On the other hand, verification algorithms often suffer from scalability issues while providing correctness. This raises the following question: Can we leverage machine learning techniques to implement better, more efficient verification tools?

The iVerif workshop aims at bringing together researchers working on different aspects of AI for verification, the verification of AI-enabled systems, and safe AI, amongst others.

Trends in Transformations

The beautiful and robust theory of regular languages is based on four fundamental pillars: expressions, automata, logic and algebra. The class of languages denoted by regular expressions corresponds to the class of languages recognized by finite state automata, to the class of languages definable in monadic second order logic (MSO) with one successor, and to the class of languages whose syntactic monoid is finite. Extensions of the pillars of language theory to transformations (functions or relations) from words has been an active area of research recently. The aim of this workshop is to bring together researchers and students interested in theory and applications of formal models of transformations.

In the past, we have had 2 editions of Trends as part of FSTTCS 2018 and FSTTCS 2019. This year, we bring you some interesting talks, which highlight the latest trends in this area, both from a theoretical as well as a practical perspective. More details soon.

  • Dates: December 14, 2021
  • Organisers
    • Emmanuel Filiot (Universite Libre de Bruxelles)
    • S Krishna (IIT Bombay)

VeriCrypt: An Introduction to Tools for Verified Cryptography

  • Dates: December 18–19, 2021
  • Organisers
    • Karthikeyan Bhargavan (Inria Paris)
    • Aseem Rastogi (Microsoft Research India)

Recent years have witnessed a spurt in the design and deployment of novel and complex cryptographic constructions and protocols, motivating the need for formal methods and verification tools that can verify the security of these mechanisms and the correctness of their implementations. A variety of tools have been proposed to address this need. The goal of this tutorial is to give attendees an introduction to formal verification tools that can be applied to obtain higher confidence in cryptographic constructions, protocols, and implementations.

QISE: Workshop on Quantum Information Science and Engineering

The goal of this workshop is to provide a robust exposure to students, researchers and industry practitioners to the recent developments in quantum computation, from the point of view of computer science, physics, and engineering. Apart from this we would like to familiarize the participants, especially the students, to recent quantum computing and simulation tools, e.g., with the view to introducing them to quantum machine learning.

  • Location: Online, Co-located with FSTTCS 2021
  • Dates: Saturday, December 18, 2021, 10:30 am – 7:00 pm, Indian Standard Time
  • Organisers
    • Jaikumar Radhakrishnan (Tata Institute of Fundamental Research, Mumbai)
    • Manoj Nambiar (Tata Consultancy Services Limited)

Accepted Papers

Click here to view the list of accepted papers.

Conference Programme

Click here to view the conference programme.

YouTube Channel

The conference will be held on Zoom and all registered participants will receive an email with the relevant details. The pre-recorded presentations of all the contributed talks are available on the conference YouTube channel.

We will be live-streaming the conference talks as well as the talks in the satellite workshops. This can be viewed here.

Conference Proceedings

Click here to access the FSTTCS 2021 proceedings.

Programme Committee

Track A

Track B

Organizing Committee

Registration

The registration for FSTTCS 2021 is open. We have two categories of registrations: premium registration and basic registration. There is no difference between a premium registration and a basic registration in terms of entitlements. At least one author per paper is required to register in the premium category. Others are encouraged to opt for premium registration if it is affordable.

Premium Registration

  • Premium registration is now open.
  • The fee for is INR 11800 (approximately 140 Euros or 160 US dollars, includes 18% GST).
  • For domestic transfer, please use this link.
  • For international transfer, please use this link.

Basic Registration

  • Please register before December 10, 2021 using this Google form.
  • There is no fee for basic registration.

Contact Information

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