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

Calculemus 2010

Paris, France 6th-7th July 2010

Submission

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 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.