Theorem Proving

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
IJCAR 2018 9th International Joint Conference on Automated Reasoning
Jul 14, 2018 - Jul 17, 2018 Oxford, United Kingdom Jan 29, 2018 (Jan 22, 2018)
Expired CFPs
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 7 CFPs in 1 pages