| No. |
Title |
Author |
Year |
| 1 |
The Semantic Challenge of Object-Oriented Programming (Dagstuhl Seminar 98261) |
Cardelli, Luca et al. |
2021 |
| 2 |
Front Matter, Table of Contents, Preface, Conference Organization |
Ghica, Dan R. et al. |
2018 |
| 3 |
LIPIcs, Volume 119, CSL'18, Complete Volume |
Ghica, Dan et al. |
2018 |
| 4 |
Diagrammatic Semantics for Digital Circuits |
Ghica, Dan R. et al. |
2017 |
| 5 |
Free Constructions and Coproducts of d-Frames |
Jakl, Tomás et al. |
2017 |
| 6 |
Duality in Computer Science (Dagstuhl Seminar 15441) |
Gehrke, Mai et al. |
2016 |
| 7 |
Auxiliary relations and sandwich theorems |
God, Chris et al. |
2005 |
