Theorem Proving

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
TAP 2024 18th International Conference on Tests and Proofs
Sep 9, 2024 - Sep 10, 2024 Milan, Italy May 15, 2024 (May 8, 2024)
Expired CFPs
NFM 2024 NASA Formal Methods Symposium
Jun 4, 2024 - Jun 6, 2024 Moffett Field, California, USA Dec 8, 2023 (Dec 1, 2023)
NFM 2024 NASA Formal Methods Symposium
Jun 4, 2024 - Jun 6, 2024 Moffett Field, California, USA Dec 8, 2023 (Dec 1, 2023)
VSTTE 2023 International Conference on Verified Software: Theories, Tools, and Experiments
Sep 21, 2023 - Sep 25, 2023 Ames, Iowa, United States Jul 28, 2023 (Jul 21, 2023)
ICFEM 2023 International Conference on Formal Engineering Methods
Nov 21, 2023 - Nov 24, 2023 Brisbane, Australia May 21, 2023 (May 14, 2023)
NFM 2023 NASA Formal Methods Symposium
May 16, 2023 - May 18, 2023 Houston, Texas, United States Dec 16, 2022 (Dec 9, 2022)
PADL 2023 PADL 2023: The 25th International Symposium on Practical Aspects of Declarative Languages
Jan 16, 2023 - Jan 17, 2023 Boston, Massachusetts, United States Oct 9, 2022 (Oct 2, 2022)
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)
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 18 CFPs in 1 pages