IARCS, the Indian Association for Research in Computing Science, announces the 39th Annual Conference on Foundations of Software Technology and Theoretical Computer Science at IIT Bombay. The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.
Call for Papers
Representative areas include, but are not limited to, the following:
- Track A:
Algorithms and Data Structures
Algorithmic Graph Theory and Combinatorics
Parallel, Distributed and Online Algorithms
- 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
Principles and Semantics of Programming Languages
Program Analysis and Transformation
Theorem Proving and Decision Procedures
For the complete list, click here.
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. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference.
- Submission deadline: July 17, 2019
- Notification to authors: September 13, 2019.
- Deadline for camera-ready papers: October 1, 2019
Centre for Formal Design and Verification of Software
Indian Institute of Technology Bombay
Powai Mumbai 400 076.
Phone: +91 22 25768701