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)

Guide2Research Overall Ranking: 355
Category Rankings
Software Engineering & Programming 109
Computational Theory and Mathematics 48
Databases & Information Systems 89

Google Scholar H5-index:
14

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

ICSP 2020 : International Conference on Security & Privacy

Deadline :
Tue 22 Sep 2020
Nov 5, 2020 - Nov 6, 2020 - Jamshedpur
India

ADCOM 2020 : 26th annual International Conference on Advanced Computing and Communications

Deadline :
Wed 30 Sep 2020
Dec 16, 2020 - Dec 18, 2020 - NIT Silchar
India

IEEE-iSSSC2020 : 2020 IEEE International Symposium on Sustainable Energy, Signal Processing & Cyber Security

Deadline :
Wed 30 Sep 2020
Dec 16, 2020 - Dec 17, 2020 - GIET University Gunupur
India

ICCBI 2020 : 3rd International Conference on Computer Networks, Big Data and IoT

Deadline :
Wed 30 Sep 2020
Dec 15, 2020 - Dec 16, 2020 - Vaigai College Engineering Madurai-Melur Road Therkutheru
India