Calculemus.netMeetings → Ontario 2009

Calculemus 2009

16th Symposium on the Integration of
Symbolic Computation and Mechanised Reasoning
6-7 July 2009, Joint with CICM'09, Ontario, Canada.

Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning, the interactive theorem provers or proof assistants (PA) and the automated theorem provers (ATP).

Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanised reasoning) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.) The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated systems for computer mathematics that will routinely be used by mathematicians, computer scientists and engineers in their every day business.

We seek original research papers for the upcoming Calculemus meeting, which will be held jointly with MKM 2009 (confederated in the Conferences on Intelligent Computer Mathematics, CICM 2009) in Ontario, Canada.

Topics of interest

The scope of Calculemus covers all aspects of the interplay of mechanised reasoning and computer algebra, including cross-fertilisation between those two research areas, as well as the development of integrated systems that transcend both computer algebra and theorem proving. Potential topics of interest include:

Papers on other topics with links to the above research fields and topics will also be welcomed for consideration.


Invited Talks

We are pleased to have invited talks from:

Prof. Jacques Calmet (

Rob Arthan (, Director of Lemma 1, developer of ProofPower)

Schedule for Presentations

The schedule shows all forthcoming talks.

Important dates

For (reviewed) full-paper submissions:

Submission deadline: 20 February 2009 (submission now closed)
Notification of acceptance: 10 April 2009
Camera ready copies due: 20 April 2009

For extended abstracts on emerging trends:

Submission deadline: 7 May 2009 (submission now closed)
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.


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 we suggest 10 pages for emeging trends extended abstracts (the upper limit is 20 pages, authors must provide at least a title and 200 word abstract). 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.

Papers should be prepared in LaTeX and formatted according to the requirements of the Springer's LNAI series (the corresponding style files can be downloaded from and are the same for LNCS and LNAI).

The web page for electronic submission of full-papers is (now closed for submissions):

The web page for electronic submission of extended abstracts on emerging trends (now closed for submissions):


The proceedings of full-papers in the conference will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNCS/LNAI) by Springer-Verlag.

You can download the emerging trends papers, but they are not published as archival material. These papers are intended to describe work in progress.


Registration is being handled by CICM's registration page. The date for early registration is 31 May, 2009.


Travel information is available at the CICM travel information page.


Accommodation information is available at the CICM accommodation information page.

Programme committee

Markus Aderhold (TU Darmstadt, Germany)
Serge Autexier (DFKI, Germany)
John Campbell (University College London, UK)
Jacques Carette (PC Chair) (McMaster University, Canada)
James H. Davenport (University of Bath, UK)
Louise Dennis (University of Liverpool, UK)
Lucas Dixon (PC Chair) (University of Edinburgh, UK)
William Farmer (McMaster University, Canada)
Jacques Fleuriot (University of Edinburgh, UK)
Herman Geuvers (Radboud University Nijmegen, Netherlands)
Michael Kohlhase (DFKI, Germany)
Steve Linton (University of St. Andrews, UK)
Tomas Recio (Universidad de Cantabria, Spain)
Tom Ridge (University of Cambridge, UK)
Julio Rubio (Universidad de La Rioja, Spain)
Volker Sorge (University of Birmingham, UK)