FSTTCS 2020 is the 40th conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS, the Indian Association for Research in Computing Science. It 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.

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
  • Game Theory and Mechanism Design
  • 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
  • Model Checking and Reactive Synthesis
  • 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

Specification, Verification and Synthesis

This year, in track B, with a view to having sufficient representation in the program from "Foundations of Software Technology" we particularly solicit submissions in the areas of programming languages and practical verification, including, but not limited to,

  • hardware and software verification
  • practical verification including case-studies
  • static analysis and type systems
  • verification of intelligent, autonomous, and cyber-physical systems
  • security verification

We also encourage proposals for workshops in this area.

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

  • Deadline for registration: November 30, 2020 AoE.
  • Pre-conference workshops: December 13–14, 2020.
  • FSTTCS 2020: December 15–17, 2020.
  • Post-conference workshops: December 18, 2020.

Track A workshops

Workshop on Matrix Rigidity

The goal of the workshop is to have a prolonged discussion on some of the classical as well as more recent results on various aspects Matrix Rigidity. We will start with a couple of tutorials, which will help the unfamiliar audience get acquainted with the notion, followed by a few talks on some of the recent results.

  • Dates: December 13–14, 2020.
  • Organizers:

Track B workshops

Strategies for Uncertainty

How to design processes so that they interact well over time, if they set out with private, incomplete knowledge of their environment and have limited communication resources? Interdependent, dynamic decisions under imperfect information are a main challenge to distributed computing, and game theory offers a grip where probabilistic models struggle.

In this workshop, we illuminate some classical and some modern approaches from game theory and computing science for representing and reducing uncertainty, and to living with it.

Advances in Verification

The subject of verification is well studied and has been successfully deployed in practice. As a result, several fundamental techniques have evolved over the years. This workshop aims to discuss some of the classical concepts in verification, with a focus on recent advances.

Co-located events

Workshop on Research Highlights in Programming Languages

The workshop will take place over two days concurrent with the main FSTTCS 2020 conference. The focus of the workshop will be on all areas of Programming Languages, including but not limited to program analysis and verification, applied formal methods, and compilers.

Track A

Track B

The registration for FSTTCS 2020 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. We request participants to register in the premium category if it is affordable.

The fee for premium registration is INR 11000 (approximately 130 Euros or 150 Dollars).

Click here for premium registration.

The fee for basic registration fee is INR 1000 (approximately 12 Euros or 14 Dollars).

Click here for basic registration.

The deadline for registration is November 30, 2020.

To effectively run the conference in virtual mode, the authors are requested to do the following:

  • Prepare a pre-recorded presentation of at most 25 minutes. This video will be made available on YouTube so that participants can watch the presentation in advance. We will also share the presentation slides.
  • Participate in a live session of approximately 10 minutes which includes a 5 minute Q&A session.

Preparing a pre-recorded presentation, participating in the live session, and sharing the presentation slides are mandatory for authors. The instructions for preparing/uploading the material are given below.

  • The pre-recorded presentation should be at most 25 minutes and the file size should not exceed 1 GB.
  • Recommended resolution is HD and preferred video format is MP4.
  • It is recommended that the video is recorded using picture-in-picture format (the slides will be on the main screen and the presenter will be visible on a small sub screen).
  • Presenters should try to reduce background noise and ensure that their voice is clearly audible.
  • The presentation slides should preferably be in PDF and should not exceed 30 MB.
  • The video should be named ID_SURNAME.mp4 and the slide should be named ID_SURNAME.pdf, where ID is the paper's number assigned by EasyChair and SURNAME is the first author's surname.
  • We will share a Google Form to the authors' registered email, using which they can upload the files.
  • The deadline to upload the pre-recorded video presentation along with the slides is November 24, 2020.

All questions about submissions should be emailed to the PC chairs of Track A or Track B.