This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
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.
Part of Lecture Notes in Computer Science.
2 references
A Decidable Fragment of Separation Logic
Josh Berdine and others (2004) · FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science · Springer
Computability and Complexity Results for a Spatial Assertion Language for Data Structures
Cristiano Calcagno and others (2001) · Foundations of Software Technology and Theoretical Computer Science (FSTTCS) · Springer