Conference

ITP

International Conference on Interactive Theorem Proving

ITP in dblp Conference Website

Volumes

Volume

LIPIcs, Volume 268

14th International Conference on Interactive Theorem Proving (ITP 2023)

ITP 2023, July 31 to August 4, 2023, Białystok, Poland

Editors: Adam Naumowicz and René Thiemann

Volume

LIPIcs, Volume 237

13th International Conference on Interactive Theorem Proving (ITP 2022)

ITP 2022, August 7-10, 2022, Haifa, Israel

Editors: June Andronick and Leonardo de Moura

Volume

LIPIcs, Volume 193

12th International Conference on Interactive Theorem Proving (ITP 2021)

ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)

Editors: Liron Cohen and Cezary Kaliszyk

Volume

LIPIcs, Volume 141

10th International Conference on Interactive Theorem Proving (ITP 2019)

ITP 2019, September 9-12, 2019, Portland, OR, USA

Editors: John Harrison, John O'Leary, and Andrew Tolmach

Access Numbers

Detailed Access Statistics available here
Total Document Accesses (updated on a weekly basis):

0

PDF Downloads

0

Metadata Views

Authors

Questions / Remarks / Feedback

X

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail

© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact