Conference · IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
FSTTCS 2026
Official page- Type
- Conference
- Organisation
- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
- Location
- New Delhi, India
- Takes place
- 16 December 2026 to 18 December 2026
- Found
- 26 September 2026
About this listing
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Held in New Delhi, India. 46th edition, organised by IARCS in partnership with ACM India. Track B solicits work on programming languages and practical verification alongside theoretical results. Topics: programming languages, verification, formal methods, logic. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).