Conferences on Intelligent Computer Mathematics - Birmingham 2008
15th Symposium on the Integration of
Symbolic Computation and Mechanised Reasoning

Calculemus 2008

Birmingham, UK, 30 July-1 August 2008


Theoretical and applied research papers on all topics within the scope of the symposium are invited. Submitted papers (in English) must not exceed 15 pages in length. 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 submitted papers to a peer review. Results must be unpublished.

The web page for electronic submission is at .

The proceedings of 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 and are the same for LNCS and LNAI).