Mechanised Reasoning

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
Calculemus 2010 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning
Jul 6, 2010 - Jul 7, 2010 Paris, France Mar 15, 2010 (Mar 12, 2010)
first | previous | Page 1 | next | last Total of 1 CFPs in 1 pages