Conference Information
FSTTCS 2020: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
https://www.fsttcs.org.in/2020/index.php
Submission Date:
2020-07-17
Notification Date:
2020-09-14
Conference Date:
2020-12-14
Location:
Goa, India
Years:
40
CCF: c   CORE: b   QUALIS: b1   Viewed: 11437   Tracked: 34   Attend: 0

Conference Location
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

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 the following topics.

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

We also encourage proposals for workshops in this area.
Last updated by Dou Sun in 2020-03-30
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
20181234435.8%
20171434128.7%
20161124439.3%
20151174235.9%
20141624729%
20131114036%
20121214335.5%
20111163731.9%
20101283829.7%
20091174034.2%
20081173630.8%
20071354029.6%
20061553421.9%
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
DMEEInternational Conference on Design, Mechanical and Electrical Engineering2018-04-052018-04-252018-09-07
ITCSInternational Conference on Information Technology and Computer Science2015-05-312015-06-152015-07-08
ICBCIInternational Conference on Bioinformatics and Computational Intelligence2018-05-202018-06-102018-07-28
cbAPBCAsia Pacific Bioinformatics Conference2019-08-202019-10-302020-02-12
aa2FoSSaCSInternational Conference on Foundations of Software Science and Computation Structures2019-10-242019-12-232020-04-25
ba1MobisysInternational Conference on Mobile Systems, Applications and Services2019-12-052020-03-092020-06-15
ITAICInternational Information Technology and Artificial Intelligence Conference2018-12-312019-01-102019-05-24
AISSInternational Conference on Advanced Information Science and System2020-07-302020-08-302020-11-18
ISISEInternational Symposium on Intelligent System Engineering2013-07-252013-08-152013-11-15
ICISCEInternational Conference on Information Science and Control Engineering2020-09-152020-10-102020-12-18
Related Journals
Recommendation