FST&TCS 2020 : Foundations of Software Technology and Theoretical Computer Science

  in Conferences   Posted on June 5, 2020

Conference Information

Submission Deadline Wednesday 22 Jul 2020 Proceedings indexed by :
Conference Dates Dec 14, 2020 - Dec 18, 2020
Conference Address Goa, India
Conference & Submission Link https://www.fsttcs.org.in/2020/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Impact Score 0
#Contributing Top Scientists 0
#Papers published by Top Scientists 0
Google Scholar H5-index 0
Guide2Research Overall Ranking: 0

Conference Call for Papers

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

Other Conferences in India

ICMLBDA 2021 : International Conference on Machine Learning and Big Data Analytics

Deadline :
Fri 15 Jan 2021
Mar 29, 2021 - Mar 30, 2021 - Patna
India

INCET 2021 : 2nd International Conference of Emerging Technologies

Deadline :
Tue 19 Jan 2021
May 21, 2021 - May 23, 2021 - Belgaum
India