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: 373
Category Rankings
Software Engineering & Programming 121
Computational Theory and Mathematics 51

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

ICICSE-2019 : 7th International Conference on Innovations in Computer Science & Engineering, ICICSE-2019

Deadline :
Mon 15 Jul 2019
Aug 16, 2019 - Aug 17, 2019 - Guru Nanak Institutions
India

IEEE PuneCon 2019 : IEEE International Conference on INNOVATING TECHNOLOGY FOR HUMANITY

Deadline :
Mon 15 Jul 2019
Dec 18, 2019 - Dec 20, 2019 - MITWPU University
India

FIRE 2019 : 1th meeting of the Forum for Information Retrieval Evaluation

Deadline :
Wed 17 Jul 2019
Dec 12, 2019 - Dec 15, 2019 - Kolkata
India

IEEE-iSES 2019 : 5th IEEE International Symposium on Smart Electronic Systems (Formerly iNIS)

Deadline :
Fri 19 Jul 2019
Dec 16, 2019 - Dec 18, 2019 - Rourkela
India