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

ICETIT 2020 : International Conference on Emerging Trends in Information Technology

Deadline :
Sun 19 Jan 2020
Jun 19, 2020 - Jun 20, 2020 - New Delhi
India

icecmsn2020 : INTERNATIONAL CONFERENCE ON EVOLUTIONARY COMPUTING AND MOBILE SUSTAINABLE NETWORKS

Deadline :
Mon 20 Jan 2020
Feb 20, 2020 - Feb 21, 2020 - Sir M. Visvesvaraya Institute of Technology
India

ESCI2020 : ESCI2020 IEEE International Conference On Emerging Smart Computing And Informatics 2020

Deadline :
Thu 30 Jan 2020
Mar 12, 2020 - Mar 14, 2020 - AISSMS Institute of Information Technology Kennedy Road
India

ICIMIA2020 : The second International Conference on Innovative Mechanisms for Industry Applications (ICIMIA 2020)

Deadline :
Wed 05 Feb 2020
Mar 5, 2020 - Mar 7, 2020 - Dayananda Sagar College of Engineering
India

ICOEI : Scopus-Indexed IEEE 4th International Conference on Trends in Electronics and Informatics

Deadline :
Sat 08 Feb 2020
Apr 16, 2020 - Apr 18, 2020 - SCAD Institute of Technology SCAD Knowledge City Palladam - Pollachi Highway Palladam - 641 664 Tirupur District
India