FSTTCS 2025: Call for Papers

The 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2025) will be held from December 17–19, 2025, at the BITS Pilani, K K Birla Goa Campus. The conference is being organized as an in-person event.

FSTTCS 2025 is organized by IARCS, the Indian Association for Research in Computing Science, in association with ACM India. It serves as a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

List of Topics

Track A

• Algebraic Complexity
• Algorithms and Data Structures
• Algorithmic Graph Theory and Combinatorics
• Approximation Algorithms
• Combinatorial Optimization
• Communication Complexity
• Computational Geometry
• Computational Learning Theory
• Cryptography and Security
• Data Streaming and Sublinear algorithms
• Economics and Computation
• Foundations of Machine Learning
• Parallel, Distributed and Online Algorithms
• Parameterized Complexity
• Proof Complexity
• Quantum Computing
• Randomness in Computing
• Theoretical Aspects of Computational Biology
• Theoretical Aspects of Mobile and High-Performance Computing

Track B

• Automata, Games and Formal Languages
• Formal Methods
• Logic in Computer Science
• Modal and Temporal Logics
• Models of Concurrent, Distributed and Mobile Systems
• Models of Timed, Reactive, Hybrid and Stochastic and Quantum Systems
• Model Theory
• Principles and Semantics of Programming Languages
• Program Analysis and Transformation
• SAT and SMT solving
• Security protocols
• Specification, Verification and Synthesis
• Theorem Proving and Decision Procedures

We particularly welcome papers in Programming Languages and Formal Methods for Track B.

Submission Guidelines

• Submissions must be in electronic form via EasyChair.
• Use the LIPIcs LaTeX style file.
• Submissions must not exceed 15 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.

Reviewing Policy

Reviewing for FSTTCS 2025 is double-blind. Authors must make a reasonable effort to ensure their identity is not easily revealed:

• Replace your name and affiliation on the first page with the submission number.
• Do not include any acknowledgements in your submission.
• Cite prior work in a neutral manner (e.g., "XYZ et al. showed" instead of "We showed").
• Submitting a paper that is available at a public preprint server (e.g., arXiv) is admissible; however, do not cite that version in the submission itself.
• Submissions violating the page limit or the double-blind policy may face desk rejection.

Publication

Accepted papers will be published in the Leibniz International Proceedings in Informatics (LIPIcs) as a free, open, electronic archive. Authors will retain full rights and the 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 in person at the conference.

Important Dates

• Paper submission deadline: July 11, 2025 (AoE)
• Rebuttal: August 26–28, 2025
• Notification to authors: September 15, 2025
• Deadline for camera-ready papers: TBA
• Pre-conference workshop(s): December 15 – 16, 2025
• FSTTCS 2025 Conference: December 17 – 19, 2025
• Post-conference workshop(s): December 20, 2025

Submission Link

https://easychair.org/my/conference?conf=fsttcs2025

Committees

• Programme Committee Chair (Track A): Ruta Mehta
• Programme Committee Co-Chair (Track B): C Aiswarya, Subhajit Roy
• Organizing Committee Chair: Siddharth Gupta