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.

Dagstuhl's open-access proceedings series, not a venue. A paper here belongs to some conference — STACS, ICALP, CONCUR and a few dozen others — whose proceedings the series carried; the conference is the thing to browse by, and it sits inside this set. Everything published in it is free to read, with a DOI per paper and per volume.

https://drops.dagstuhl.de/entities/series/LIPIcs · published by Schloss Dagstuhl – Leibniz-Zentrum für Informatik

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

LIPIcs

Inside this

4 references