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.
LIPIcs
A book, report or monograph series.
LIPIcs: Dagstuhl's open-access proceedings series, not a venue. Each paper belongs to a conference (STACS, ICALP, CONCUR and others) whose proceedings it carried.
https://drops.dagstuhl.de/entities/series/LIPIcs · published by Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Inside this
Computer Science Logic (CSL) venue
4 references
Undecidability of dyadic first-order logic in Coq
Johannes Hostert and others (2022) · 13th International Conference on Interactive Theorem Proving (ITP 2022) · Schloss Dagstuhl – Leibniz-Zentrum für Informatik
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