交互式定理证明国际会议（ITP）
2023年第14届ITP：波兰比亚伊斯托克
亚当·诺莫维奇 
, 雷内·蒂曼 :
第十四届交互式定理证明国际会议，ITP 2023，2023年7月31日至8月4日，波兰比亚伊斯托克。 LIPIcs公司 268, 达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2023 ，国际标准图书编号 978-3-95977-284-6 [目录]
2022年第13个ITP：以色列海法
琼·安德罗妮克 , 莱昂纳多·德·莫拉 :
第十三届交互式定理证明国际会议，ITP 2022，2022年8月7日至10日，以色列海法。 LIPIcs公司 237, 达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2022 ，国际标准图书编号 978-3-95977-252-5 [目录]
2021年第12个ITP：意大利罗马（虚拟会议）
利伦·科恩 , 塞萨里·卡利西克 :
第十二届交互式定理证明国际会议，ITP 2021，2021年6月29日至7月1日，意大利罗马（虚拟会议）。 LIPIcs公司 193, 达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2021 ，国际标准图书编号 978-3-95977-188-7 [目录]
第11届ITP 2020：法国巴黎
第十届ITP 2019：美国俄勒冈州波特兰
约翰·哈里森 , 约翰·奥利里 , 安德鲁·托尔马赫 :
第十届交互式定理证明国际会议，2019年9月9日至12日，ITP 2019，美国俄勒冈州波特兰。 LIPIcs公司 141, 达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2019 ，国际标准图书编号 978-3-95977-122-1 [目录]
2018年第9届ITP：英国牛津
杰里米·阿维加德 , 阿西亚·马布比 :
交互式定理证明-第九届国际会议，ITP 2018，作为联邦逻辑会议的一部分，FloC 2018，英国牛津，2018年7月9日至12日，会议记录。 计算机科学课堂讲稿 10895, 施普林格 2018 ，国际标准图书编号 978-3-319-94820-1 [目录]
2017年第八届ITP：巴西巴西利亚
毛里西奥·阿亚拉·林科 , 塞萨尔·穆尼奥斯 :
交互式定理证明——第八届国际会议，ITP 2017，巴西巴西利亚，2017年9月26-29日，会议记录。 计算机科学课堂讲稿 10499, 施普林格 2017 ，国际标准图书编号 978-3-319-66106-3 [目录]
2016年第7届ITP：法国南锡
贾斯敏·克里斯蒂安·布兰切特 , 斯蒂芬·默兹 :
交互式定理证明——第七届国际会议，ITP 2016，法国南希，2016年8月22日至25日，会议记录。 计算机科学课堂讲稿 9807, 施普林格 2016 ，国际标准图书编号 978-3-319-43143-7 [目录]
2015年第6届ITP：中国南京
克里斯蒂安·厄本 , 张兴元 :
交互式定理证明——第六届国际会议，ITP 2015，中国南京，2015年8月24-27日，会议记录。 计算机科学课堂讲稿 9236, 施普林格 2015 ，国际标准图书编号 978-3-319-22101-4 [目录]
2014年第五届ITP：奥地利维也纳
格温·克莱因 , 鲁本·甘博阿 :
交互式定理证明——第五届国际会议，ITP 2014，作为维也纳逻辑夏季的一部分，VSL 2014，奥地利维也纳，2014年7月14-17日。 诉讼程序。 计算机科学课堂讲稿 8558, 施普林格 2014 ，国际标准图书编号 978-3-319-08969-0 [目录]
2013年第四届ITP：法国雷恩
桑德琳·布拉齐 , 克里斯汀·保林·莫林 , 大卫·皮查迪 :
交互式定理证明——第四届国际会议，ITP 2013，法国雷恩，2013年7月22日至26日。 诉讼程序。 计算机科学课堂讲稿 7998, 施普林格 2013 ，国际标准图书编号 978-3-642-39633-5 [目录]
2012年第三届ITP：美国新泽西州普林斯顿
伦纳特·贝林格 , 艾米·费尔蒂 :
交互式定理证明-第三届国际会议，ITP 2012，普林斯顿，新泽西州，美国，2012年8月13-15日。 诉讼程序。 计算机科学课堂讲稿 7406, 施普林格 2012 ，国际标准图书编号 978-3-642-32346-1 [目录]
2011年第二届ITP：荷兰Berg en Dal
马可·C·J·D·范·埃克伦 , 赫尔曼·杰弗斯 , 朱利安·施马耳茨 , 弗里克·维迪克 :
交互式定理证明——第二届国际会议，ITP 2011，Berg en Dal，荷兰，2011年8月22日至25日。 诉讼程序。 计算机科学课堂讲稿 6898, 施普林格 2011 ，国际标准图书编号 978-3-642-22862-9 [目录] 克里斯托夫·兰格 , 约瑟夫·乌尔班 :
2011年8月27日，荷兰奈梅亨，ITP 2011数学维基研讨会论文集。 CEUR研讨会记录 767, CEUR-WS.org公司 2011 [目录]
2010年第一届ITP：英国爱丁堡
马特·考夫曼 , 劳伦斯·保尔森 :
交互式定理证明，第一届国际会议，ITP 2010，英国爱丁堡，2010年7月11日至14日。 诉讼程序。 计算机科学课堂讲稿 6172, 施普林格 2010 ，国际标准图书编号 978-3-642-14051-8 [目录] 叶卡捷琳娜·科门丹茨卡娅 , 安娜·波夫 , 米拉德·尼基 :
交互式定理证明程序中的偏爱和递归， ITP的PAR 2010年7月15日，英国爱丁堡。 EPiC系列 5, Easy椅子 2012 [目录] 安娜·波夫 , 叶卡捷琳娜·科门丹茨卡娅 , 米拉德·尼基 :
交互式定理证明程序中的偏爱性和递归研讨会论文集，PAR 2010，英国爱丁堡，2010年7月15日。 EPTCS系统 43, 2010 [目录]
