Theorem Proving

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
VSTTE 2022 14th International Conference on Verified Software: Theories, Tools, and Experiments
Oct 17, 2022 - Oct 18, 2022 Trento, Italy Jul 22, 2022 (Jul 15, 2022)
Expired CFPs
ThEdu 2022 11th International Workshop on Theorem-Proving Components for Educational Software
Aug 11, 2022 - Aug 11, 2022 Haifa, Israel May 9, 2022
PADL 2022 CFP: 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022)
Jan 17, 2022 - Jan 18, 2022 Philadelphia, PA Oct 8, 2021 (Oct 1, 2021)
VSTTE 2021 VSTTE'21: Working Conference on Verified Software: Theories, Tools, and Experiments
Oct 18, 2021 - Oct 19, 2021 Yale University, Connecticut, USA Jul 17, 2021 (Jul 10, 2021)
IJCAR 2018 9th International Joint Conference on Automated Reasoning
Jul 14, 2018 - Jul 17, 2018 Oxford, United Kingdom Jan 29, 2018 (Jan 22, 2018)
DT 2017 Deduktionstreffen 2017
Sep 25, 2017 - Sep 26, 2017 TU Dortmund, Germany Jul 15, 2017
CICM 2016 9th Conference on Intelligent Computer Mathematics
Jul 25, 2016 - Jul 29, 2016 Bialystok, Poland Mar 6, 2016 (Feb 28, 2016)
SCSS 2016 The 7th International Symposium on Symbolic Computation in Software Science
Mar 28, 2016 - Mar 31, 2016 Tokyo Nov 20, 2015 (Nov 13, 2015)
ITP 2014 International Conference on Interactive Theorem Proving
Jul 14, 2014 - Jul 17, 2014 Vienna Jan 31, 2014 (Jan 24, 2014)
UNIF 2010 International Workshop on Unification
Jul 14, 2010 - Jul 14, 2010 Edinburgh Apr 4, 2010
first | previous | Page 1 | next | last Total of 11 CFPs in 1 pages