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


Theoretical and applied research papers on all topics within the scope of the symposium are invited. Submitted papers must be in English and must not exceed 15 pages for full-papers and 10 pages emeging trends. The title page should contain the title, author(s) with affiliation(s), e-mail address(es), listing of keywords and abstract. The program committee (PC) will subject all full-papers submitted to a peer review. Emerging trends papers will be lightly reviewed. Results must be unpublished.

The web page for electronic submission of emerging trends papers is: http://www.easychair.org/conferences/?conf=calculemustrends2009
Note that submission is now closed for emerging trends. The deadline for submission of extended abstracts: 7 May 2009

The web page for electronic submission of full-papers is (submission is now closed for full papers) http://www.easychair.org/conferences/?conf=calculemus2009.

The proceedings of full-papers in the conference will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer-Verlag. Accepted papers will have to be prepared in LaTeX and formatted according to the requirements of the Springer's LNAI series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html and are the same for LNCS and LNAI).

Emerging trends extended abstracts will be made available online, but will not be published. These papers are expected to be describing work in progress, and the authors will present this work at the conference.