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 · also written Leibniz International Proceedings in Informatics

Inside this

Computer Science Logic (CSL) venue

3 references

Undecidability of dyadic first-order logic in Coq

Johannes Hostert et al. (2022) · 13th International Conference on Interactive Theorem Proving (ITP)

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