FSTTCS 2025: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science

Submissions must be in electronic form viaEasyChairusing the LIPIcs LaTeX style file availablehere. 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.

The event’s areas of interest encompass the following topics, without limitation: theoretical computer science, formal methods, algorithms and complexity.