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

Calculemus 2010

Paris, France    6th-7th July 2010


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 emerging 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 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 http://www.springer.de/comp/lncs/authors.html and are the same for LNCS and LNAI).

The web page for electronic submission is:

The proceedings of full papers of the conference will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer-Verlag. Extended abstracts on emerging trends will be published as a technical report of CEDRIC (CNAM/ENSIIE) and will be electronically available. These papers are expected to be describing work in progress.