Ontario Research Centre for Computer Algebra
Conferences on Intelligent Computer Mathematics

16th Symposium on the Integration of
Symbolic Computation and Mechanised Reasoning

Calculemus 2009

Grand Bend, Ontario (CANADA), 06-07 July 2009

Important Dates

For (reviewed) full-paper submissions:

Abstract submission: 13 February 2009
Submission deadline: 20 February 2009
Notification of acceptance: 10 April 2009
Camera ready copies due: 24 April 2009

For extended abstracts on emerging trends:

Submission deadline: 7 May 2009
Notification of acceptance: 30 May 2009
Camera ready copies due: 7 June 2009

The calculemus conference is on the 6th and 7th of July 2009.