Computer Science Logic (CSL)
A conference, workshop or journal: the thing that recurs, across all its years.
The annual conference of the European Association for Computer Science Logic, on logic as it is used in computer science — proof theory, model theory, finite model theory and their applications to verification and databases.
Part of LIPIcs, Lecture Notes in Computer Science.
2 references
State Space Reduction For Parity Automata
Christof Löding et al. (2020) · 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn et al. (2001) · Computer Science Logic