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.
Foundations of Software Technology and Theoretical Computer Science (FSTTCS): India's main theory conference, every December since 1981, published in LIPIcs (open access) since 2008.
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