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.
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.
3 references
State Space Reduction For Parity Automata
Christof Löding and others (2020) · 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) · Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Towards mechanized program verification with separation logic
Tjark Weber (2004) · 18th International Workshop on Computer Science Logic (CSL) · Springer
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn and others (2001) · Computer Science Logic · Springer