Calculemus 2005
12th Symposium on the Integration of
Symbolic Computation and Mechanized Reasoning
July 18-19, 2005
In conjunction with
Formal Methods 2005
University of Newcastle upon Tyne
, United Kingdom
July 18-22, 2005
Invited Speakers
Renaud Rioboo
, Université Pierre et Marie Curie
"Concrete Mathematics with the FoCaL Environment"
Abstract
Natarajan Shankar
, SRI International
"Explaining Decision Procedures"
Abstract