Organizer Name: Indian Association for Research in Computing Science
Event Type: Conference
Conference Name: 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science(FSTTCS 2025)
Conference Start Date: 17-12-2025
Conference End Date: 19-12-2025
About the Conference :
FSTTCS 2025 is the 45th conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS, the Indian Association for Research in Computing Science, in association with ACM India. It is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.
FSTTCS 2025 will be held in BITS Pilani, K K Birla Goa Campus during December 17–19, 2025. The conference is being organized as an in-person event.
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 Tor Track B.
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: December 17 – 19, 2025
- Post-conference workshop(s):Â December 20, 2025
About IARCS:
IARCS provides leadership in computing within India. Its members are leading researchers in Computer Science drawn from major institutions from all over the country.
IARCS aims at promoting excellence in Computing. It does so by facilitating interaction amongst its members, acting as a bridge between Academia and Industry and finally by elevating the quality of Computer Science education within the country.
IARCS runs the hugely successful and the longest running conference in computer science in India; FSTTCS. The FSTTCS conference is in its 44th year. Since its inception in 1981, the conference (held in the month of December) has helped in nurturing and creating an environment for exchange of ideas amongst the research community in the country by attracting top scientists around the world to the conference.
GENERAL DISCLAIMER: Collegeeventsinfio.com acts only as an information-sharing platform. While every effort is made to ensure accuracy, Collegeeventsinfio.com does not guarantee the completeness or authenticity of job details and is not responsible for any errors, changes, or outcomes arising from this job posting. Applicants are advised to verify all information directly with the respective institution before applying.
