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