IARCS, the Indian Association for Research in Computing Science, announces the 38th Foundations of Software Technology and Theoretical Computer Science conference at the Ahmedabad University, in Ahmedabad, Gujarat. 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.

  • Algorithms and Data Structures
  • Algorithmic Graph Theory and Combinatorics
  • Approximation Algorithms
  • Automata, Games and Formal Languages
  • 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
  • Logic in Computer Science
  • Model Theory, Modal and Temporal Logics
  • Models of Concurrent and Distributed Systems
  • Models of Timed, Reactive, Hybrid and Stochastic Systems
  • Parallel, Distributed and Online Algorithms
  • Parameterized Complexity
  • Principles and Semantics of Programming Languages
  • Program Analysis and Transformation
  • Proof Complexity
  • Quantum Computing
  • Randomness in Computing
  • Specification, Verification, and Synthesis
  • Theorem Proving, Decision Procedures, Model Checking and Reactive Synthesis
  • Theoretical Aspects of Mobile and High-Performance Computing
Click Here To Download.

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. 

  • Abstract Submission deadline(Revised): July 24, 2018 AOE

  • Full Paper Submission deadline(Revised): July 31, 2018 AOE

  • Notification to Authors: September 24, 2018 AOE 

  • Deadline for camera-ready papers: October 05, 2018 AOE

  • Early registration for conference ends on: October 31, 2018 IST

  • Regular registration for conference ends on: December 05, 2018 IST

  • To register click here.

Trends in Transformations. December 10, 2018.
Co-ordinators: Paul Gastin and S.Krishna
Click here to go to the workshop page.

To make FSTTCS more appealing to students there will be an algorithmic contest as part of the conference. The contest will be held in co-ordination with Algo Muse and is fully online. Algo Muse was started in 2010 by theory student-group of IIT Bombay. Since then they have conducted many contests and FSTTCS is happy to support this initiative. We hope attendees will find time to ponder over the puzzles during the event. There are also exciting prizes for top performers! Please visit the contest website. Note: Interested participants are requested to submit the answers on the above mentioned link latest by 12th December'18.

Click here to submit
Click here to view the conference programme.
Click here to access the conference proceedings.