[Hol-info] WST 2021 - 1st Call for Papers

2021-01-05 Thread Samir Genaim
== WST 2021 - Call for Papers 17th International Workshop on Termination http://costa.fdi.ucm.es/wst2021 July 16, 2021, Pittsburgh, PA, United States Co-located with CADE-28

[Hol-info] CfP Theorem Proving Components for Educational Software at CADE-28

2021-01-05 Thread Walther Neuper
Call for Extended Abstracts & Demonstrations ** ThEdu'21 Theorem Proving Components for Educational Software July 2021

[Hol-info] ITP2021: Second Call for Workshops (Deadline 11 January 2021)

2021-01-05 Thread itp2021-workshops
ITP2021: Interactive Theorem Proving, 12th International Conference 2021, June 29-July 1, Rome, Italy http://easyconferences.eu/itp2021/ [1] SECOND CALL

[Hol-info] [fm-announcements] CPP 2021: Call for Participation and Lightning Talks

2021-01-05 Thread Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
*** Call for Participation and Lightning Talks *** *** Certified Programs and Proofs (CPP 2021) *** Executive Summary * Conference dates: 17-19 January 2021 (extended to 3 days!) * Lightning talks submission deadline: 8 January 2021 (AoE) * Lightning talks session: 18 January 2021 at 20:00