CFP: Foundations of Software Technology and Theoretical Computer Science @ IIT Bombay [Dec 11-13]: Submit by Jul 17: Expired

Foundations Software Technology Theoretical Computer Science IIT BombayAbout

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
    Approximation Algorithms
    Combinatorial Optimization
    Communication Complexity
    Computational Biology
    Parallel, Distributed and Online Algorithms
    Parameterized Complexity
    Proof Complexity
    Quantum 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
    Principles and Semantics of Programming Languages
    Program Analysis and Transformation
    Security protocols
    Theorem Proving and Decision Procedures

For the complete list, click here.

Submission Guidelines

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.

Important Dates
  • 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
Mathematics Department
Indian Institute of Technology Bombay
Powai Mumbai 400 076.
E-Mail: office@cfdvs.iitb.ac.in
Phone: +91 22 25768701

For any further information about the conference, visit the website here. 

Subscribe to our newsletter

Leave a Reply

Your email address will not be published. Required fields are marked *