Foundations of Software Technology and Theoretical Computer Science (FSTTCS)

A conference, workshop or journal: the thing that recurs, across all its years.

India's main theoretical computer science conference, held every December since 1981 and run by IARCS with ACM India. It takes foundational work across the field — algorithms, complexity, logic, semantics, verification — and has published through LIPIcs since 2008, so recent volumes are open access.

https://www.fsttcs.org.in/

Part of Lecture Notes in Computer Science.

1 reference

A Decidable Fragment of Separation Logic
Josh Berdine et al. (2004) · FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science