Theorem Provers

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
ENTROPY 2019 ENabling TRust through Os Proofs… and beYond
Jun 16, 2019 - Jun 16, 2019 Stockholm, Sweden Mar 15, 2019
ITP 2011 2nd International Conference on Interactive Theorem Proving
Aug 22, 2011 - Aug 25, 2011 Nijmegen, The Netherlands Feb 20, 2011 (Feb 13, 2011)
first | previous | Page 1 | next | last Total of 2 CFPs in 1 pages