==
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
Call for Extended Abstracts & Demonstrations
**
ThEdu'21
Theorem Proving Components for Educational Software
July 2021
ITP2021: Interactive Theorem Proving, 12th International Conference
2021, June 29-July 1, Rome, Italy
http://easyconferences.eu/itp2021/ [1]
SECOND CALL
*** 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