Logic List Mailing Archive

Calculemus 2005 (12th Symposium on the Integration of Symbolic COmputation and Mechanized Reasoning; Newcastle upon Tyne, July 2005)

Calculemus 2005

		 12th Symposium on the Integration of
	    Symbolic Computation and Mechanized Reasoning
			   July 18-19, 2005
	       http://imps.mcmaster.ca/calculemus-2005/

	       In conjunction with Formal Methods 2005
	  University of Newcastle upon Tyne, United Kingdom
			   July 18-22, 2005
		    http://www.csr.ncl.ac.uk/fm05/


			SECOND CALL FOR PAPERS

GENERAL

The Calculemus Interest Group (http://www.calculemus.net/) is dedicated to
advancing the integration of symbolic computation and formal deduction in
mathematical software systems and computer-aided verification tools.
Calculemus has previously sponsored a series of 11 symposia starting in
1996 whose aim is to bring together researchers interested in this
objective.  (Calculemus was also part of IJCAR 2004.)  This series is the
major forum for the presentation of research in combining the capabilities
of computer algebra systems and computer deduction systems.

Calculemus 2005, the 12th symposium in the series, will be held July
18-19, 2005 at the University of Newcastle upon Tyne, United Kingdom in
conjunction with Formal Methods 2005.  A principal theme of Calculemus
2005 will be interactions with formal methods, including problems in
formal methods which require a mixture of computing and proving, and
applications of formal methods to the construction of integrated systems.

SCOPE

Calculemus 2005 welcomes research papers on all aspects of integrating
symbolic computation and formal deduction including:

   o Combining computer algebra and computer deduction systems.
   o Adding deductive capabilities to computer algebra systems.
   o Adding computational capabilities to computer deduction systems.
   o Combining methods of symbolic computation and formal deduction.
   o Design and implementation issues in integrated systems.
   o Formal method problems requiring mixed computing and proving.
   o Applications of decision procedures to formal methods.
   o Applications of formal methods to the construction of integrated
     systems.
   o Case studies and applications.

INVITED SPEAKERS

   o Natarajan Shankar, SRI International
   o Awaiting confirmation

SUBMISSIONS

Authors are invited to submit papers in the following two categories:

   o Research papers up to 15 pages describing original theoretical or
     applied research that has not been published elsewhere.

   o System descriptions up to 5 pages describing new systems,
     significant upgrades of existing systems, or experiments using
     systems.

The papers should be prepared following the ENTCS instructions (see
http://math.tulane.edu/~entcs/).

   o An ASCII version of the title and abstract of the paper should
     be e-mailed to both program chairs at carette@mcmaster.ca and
     wmfarmer@mcmaster.ca no later than February 18, 2005.

   o The full paper should be submitted electronically via the
     Web-based submission form at

       http://www.easychair.org/Calculemus-2005/submit/

     no later than March 11, 2005.

PROCEEDINGS

Accepted papers will be published in a preliminary proceedings which
will be distributed to the registered participants of Calculemus 2005.
The final proceedings will be published soon after the symposium as a
volume in the Electronic Notes in Theoretical Computer Science (ENTCS)
(see http://math.tulane.edu/~entcs/).

IMPORTANT DATES

Titles and abstracts due:         February 18, 2005
Web-submission deadline:             March 11, 2005
Notification of acceptance:          April 15, 2005
Final versions due:                   May  13, 2005
Symposium:                         July 18-19, 2005

SYMPOSIUM AND PROGRAM CHAIRS

Jacques Carette      McMaster University, Canada
William M. Farmer    McMaster University, Canada

PROGRAM COMMITTEE

Andrew A. Adams      University of Reading, UK
Alessandro Armando   Universit`a di Genova, Italy
Michael Beeson       San Jose State University, USA
Wieb Bosma           Radboud Universiteit Nijmegen, The Netherlands
Manuel Bronstein     INRIA Sophia Antipolis, France
Jacques Calmet       Universit"at Karlruhe, Germany
J"urgen Gerhard      Maplesoft, Canada
Michael Kohlhase     International University Bremen, Germany
Marc Moreno Maza     University of Western Ontario, Canada
Roy McCasland        University of Edinburgh, UK
Silvio Ranise        LORIA and INRIA Lorraine, France
Piotr Rudnicki       University of Alberta, Canada
Volker Sorge         University of Birmingham, UK
Adam Strzebonski     Wolfram Research, USA
Volker Weispfenning  Universit"at Passau, Germany


Please send questions to:

Jacques Carette (carette@mcmaster.ca)
William M. Farmer (wmfarmer@mcmaster.ca)