LIPIcs, Volume 309
ITP 2024, September 9-14, 2024, Tbilisi, Georgia
Editors: Yves Bertot, Temur Kutsia, and Michael Norrish
LIPIcs, Volume 268
ITP 2023, July 31 to August 4, 2023, Białystok, Poland
Editors: Adam Naumowicz and René Thiemann
LIPIcs, Volume 237
ITP 2022, August 7-10, 2022, Haifa, Israel
Editors: June Andronick and Leonardo de Moura
LIPIcs, Volume 193
ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)
Editors: Liron Cohen and Cezary Kaliszyk
LIPIcs, Volume 141
ITP 2019, September 9-12, 2019, Portland, OR, USA
Editors: John Harrison, John O'Leary, and Andrew Tolmach
Feedback for Dagstuhl Publishing