IARCS, the Indian Association for Research in Computing Science, announces the 37th Foundations of Software Technology and Theoretical Computer Science conference at the Indian Institute of Technology, Kanpur. 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 and Formal Languages
  • Combinatorial Optimization
  • Communication Complexity
  • Computational Biology
  • Computational Complexity
  • Computational Geometry
  • Computational Learning Theory
  • Cryptography and Security
  • 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, and Model Checking
  • Theoretical Aspects of Mobile and High-Performance Computing

Submissions will be in electronic form via EasyChair using the LIPIcs LaTeX style file. Submissions must not exceed 12 pages (including bibliography). The authors may include a clearly marked appendix containing technical details. However, authors are advised to keep the paper self-contained, as 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.

  • Paper Submission deadline: Monday, July 24, 2017 (Anywhere on earth)

  • Notification to Authors: Monday, September 18, 2017

  • Deadline for camera-ready papers: Monday, October 16, 2017

  • Conference: December 11–15, 2017

  • FSTTCS 2017 submission page

To be announced