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

Calculemus 2010

Paris, France    6th-7th July 2010


Important Dates

For (reviewed) full-paper submissions:

Abstract submission (closed): February 24, 2010  March 12, 2010
Submission deadline (closed): March 3, 2010  March 15, 2010
Notification of acceptance: April 14, 2010
Camera ready copies due: April 28, 2010

For extended abstracts on emerging trends:

Abstract submission: April 30, 2010
Submission deadline: May 7, 2010
Notification of acceptance: May 30, 2010
Camera ready copies due: June 7, 2010

The calculemus conference is on July 6-7, 2010.