posted by user: delahaye || 3102 views || tracked by 9 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://cicm2010.cnam.fr/calculemus/
 
When Jul 6, 2010 - Jul 7, 2010
Where Paris, France
Abstract Registration Due Mar 12, 2010
Submission Deadline Mar 15, 2010
Notification Due Apr 14, 2010
Final Version Due Apr 28, 2010
Categories    mathematics   computer science   symbolic computation   mechanised reasoning
 

Call For Papers

----------------------------------------------------------------
CALCULEMUS 2010 - Deadline Extension and Final Call for Papers
----------------------------------------------------------------

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

CNAM, Paris, France, July 6-7, 2010

http://cicm2010.cnam.fr/calculemus/

*************************************
)))) DEADLINE EXTENSION ((((

Abstract submission: March 12, 2010
Submission deadline: March 15, 2010
*************************************

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 AISC 2010 and MKM 2010 (confederated in the
Conferences on Intelligent Computer Mathematics, CICM 2010) in Paris (France).

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:

* Theorem proving in computer algebra (CAS)
* Computer algebra in theorem proving (PA and ATP)
* Case studies and applications that both involve computer algebra and
mechanised reasoning
* Representation of mathematics in computer algebra
* Adding computational capabilities to PA and ATP
* Formal methods requiring mixed computing and proving
* Combining methods of symbolic computation and formal deduction
* Mathematical computation in PA and ATP
* Theory, design and implementation of interdisciplinary systems for computer
mathematics
* Infrastructure for mathematical services
* Theory exploration techniques

Papers on other topics closely related to the above research areas will also be
welcomed for consideration.

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 web page for electronic submission is:
http://www.easychair.org/conferences/?conf=calculemus2010

Proceedings
===========

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. In addition to the formal proceedings published by Springer,
we will provide links to online versions of the published papers from the
conference website.

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.

Important Dates
===============

For (reviewed) full paper submissions:

Abstract submission (extended): March 12, 2010
Submission deadline (extended): March 15, 2010
Notification of acceptance: April 14, 2010
Camera ready copies due: April 28, 2010

For extended abstracts on emerging trends:

Abstract submission: April 30, 2010
Submission deadline: May 7, 2010
Notification of acceptance: May 30, 2010
Camera ready copies due: June 7, 2010

The Calculemus conference is on July 6-7, 2010.

Programme Committee
===================

Markus Aderhold (TU Darmstadt, Germany)
Arjeh Cohen (Eindhoven University of Technology, The Netherlands)
Thierry Coquand (Chalmers University of Technology, Sweden)
James H. Davenport (University of Bath, UK)
David Delahaye (CNAM, France), Chair
Lucas Dixon (University of Edinburgh, UK)
William M. Farmer (McMaster University, Canada)
Temur Kutsia (RISC, Austria)
Assia Mahboubi (INRIA Saclay, France)
Renaud Rioboo (ENSIIE, France), Chair
Julio Rubio (Universidad de La Rioja, Spain)
Volker Sorge (University of Birmingham, UK)
Stephen M. Watt (University of Western Ontario, Canada)
Freek Wiedijk (Radboud University Nijmegen, The Netherlands)
Wolfgang Windsteiger (RISC, Austria)

Related Resources

STRL 2024   The 3rd International Workshop on Spatio-Temporal Reasoning and Learning
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
EXPLAINS 2024   1st International Conference on Explainable AI for Neural and Symbolic Methods
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
CCVPR 2024   2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)
KR 2024   Principles of Knowledge Representation and Reasoning
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
GECCO 2024   Genetic and Evolutionary Computation Conference
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex