FSTTCS 2019 : Foundations of Software Technology and Theoretical Computer Science

  in Conferences   Posted on July 1, 2019

Conference Information

Submission Deadline Wednesday 17 Jul 2019 Proceedings indexed by :
Conference Dates Dec 11, 2019 - Dec 13, 2019
Conference Address Bombay, India
Conference & Submission Link https://www.fsttcs.org.in/2019/index.php
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 357
Category Rankings
Software Engineering & Programming 110
Computational Theory and Mathematics 48

Google Scholar H5-index:
14

Conference Call for Papers

IARCS, the Indian Association for Research in Computing Science, announces the 39th Foundations of Software Technology and Theoretical Computer Science conference at IIT Bombay. The FSTTCS conference 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

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
Theorem Proving and Decision Procedures

Submissions

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.
Important Dates

Submission deadline: July 17, 2019 AoE (firm).
Notification to authors: September 13, 2019.
Deadline for camera-ready papers: October 1, 2019 AoE.
SAT/SMT winter school (co-located with FSTTCS 2019): December 8–10, 2019.
Pre-conference workshop: December 10, 2019.
FSTTCS 2019: December 11–13, 2019.
Post-conference workshop : December 14, 2019.

Other Conferences in India

ICRTBI2020 : 5th International Conference on Recent Trends in Big Data and IoT

Deadline :
Fri 28 Feb 2020
Apr 7, 2020 - Apr 9, 2020 - St. Joseph\'s Institute of Technology
India

INCET 2020 : IEEE INTERNATIONAL CONFERENCE FOR EMERGING TECHNOLOGY 2020

Deadline :
Sat 29 Feb 2020
Jun 5, 2020 - Jun 7, 2020 - GOA
India

ICICCS 2020 : Scopus-Indexed IEEE International Conference on Intelligent Computing and Control Systems

Deadline :
Wed 04 Mar 2020
May 13, 2020 - May 15, 2020 - Vaigai College of Engineering
India

I3CS 2020 : 3rd International Conference on Computing and Communication Systems

Deadline :
Sun 08 Mar 2020
Apr 28, 2020 - Apr 30, 2020 - Shillong
India