Conferences on Intelligent Computer Mathematics - Birmingham 2008
15th Symposium on the Integration of
Symbolic Computation and Mechanised Reasoning

Calculemus 2008

Birmingham, UK, 30 July-1 August 2008

Important Dates

Submission deadline: 7 March 2008 14 March 2008

Notification: 11 April 2008

Camera Ready Version: 25 April 2008

Conference: 30 July - 1 August 2008