From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 4893EBB81 for ; Tue, 9 Nov 2004 20:41:42 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iA9JffkK030439 for ; Tue, 9 Nov 2004 20:41:41 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA24839 for ; Tue, 9 Nov 2004 20:41:41 +0100 (MET) Received: from cgpsrv2.cis.mcmaster.ca (univmail.CIS.McMaster.CA [130.113.64.46]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id iA9JfegF032111 for ; Tue, 9 Nov 2004 20:41:40 +0100 Received: from [130.113.68.27] (account carette@univmail.cis.mcmaster.ca HELO pccarettej) by cgpsrv2.cis.mcmaster.ca (CommuniGate Pro SMTP 4.1.8) with ESMTP id 72016925 for caml-list@inria.fr; Tue, 09 Nov 2004 14:41:39 -0500 Reply-To: From: "Jacques Carette" To: "'caml users'" Subject: Calculemus 2005 Date: Tue, 9 Nov 2004 14:39:47 -0500 Organization: McMaster University Message-ID: <001101c4c693$de98bb20$1b447182@cas.mcmaster.ca> MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.6626 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180 Importance: Normal X-Miltered: at nez-perce with ID 41911D75.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 41911D74.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; algebra:01 ocaml:01 symbolic:01 csr:01 symbolic:01 algebra:01 integrating:01 lncs:01 advancing:98 2004.:98 farmer:98 abstract:01 theorem:01 interactions:01 computation:01 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: [As there are several theorem provers as well as computer algebra systems written or being written in Ocaml, this conference might be of interest to many on this list] 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/ PRELIMINARY 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 formal methods to the construction of integrated systems. o Case studies and applications. 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 LNCS guidelines and should be submitted electronically. Further information and submission instructions will be posted at the Calculemus 2005 web page http://imps.mcmaster.ca/calculemus-2005/. Important dates: E-submission of title and abstract: February 18, 2005 E-submission deadline: March 11, 2005 Notification of acceptance: April 15, 2005 Final versions due: May 13, 2005 Symposium: July 18-19, 2005 Program committee: TBA Symposium chairs: Jacques Carette William Farmer McMaster University Hamilton, Ontario, Canada {carette,wmfarmer}@mcmaster.ca