From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 7889EBC0A for ; Thu, 21 Dec 2006 10:59:01 +0100 (CET) Received: from maury.inria.fr (maury.inria.fr [192.93.2.7]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id kBL9x0hP015268 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK) for ; Thu, 21 Dec 2006 10:59:01 +0100 Received: from kernel.risc.uni-linz.ac.at (kernel.risc.uni-linz.ac.at [193.170.37.225]) by maury.inria.fr (8.13.6/8.13.6) with ESMTP id kBL9wx5m012216 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=FAIL) for ; Thu, 21 Dec 2006 10:59:00 +0100 Received: from beaver.risc.uni-linz.ac.at (root@beaver.risc.uni-linz.ac.at [193.170.37.57]) by kernel.risc.uni-linz.ac.at (8.12.3/8.12.3/Debian-7.2) with ESMTP id kBL9wvpi028451 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Thu, 21 Dec 2006 10:58:57 +0100 Received: from beaver.risc.uni-linz.ac.at (mkauers@localhost [127.0.0.1]) by beaver.risc.uni-linz.ac.at (8.13.4/8.13.4/Debian-3sarge3) with ESMTP id kBL9wveE011486 for ; Thu, 21 Dec 2006 10:58:57 +0100 Received: (from mkauers@localhost) by beaver.risc.uni-linz.ac.at (8.13.4/8.13.4/Submit) id kBL9wvJW011485 for caml-list@inria.fr; Thu, 21 Dec 2006 10:58:57 +0100 Date: Thu, 21 Dec 2006 10:58:57 +0100 From: Manuel Kauers To: caml-list@inria.fr Subject: Calculemus 2007: Second Call for Papers Message-ID: <20061221095857.GA11482@risc.uni-linz.ac.at> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.9i X-Miltered: at concorde with ID 458A5AE4.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Miltered: at maury with ID 458A5AE3.003 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; algebra:01 algebra:01 lncs:01 genova:01 deepak:01 castle:98 26,:98 2007.:98 farmer:98 petr:98 interfaces:01 symbolic:01 computation:01 pierre:02 theorem:02 [apologies for multiple postings] Second Call for Papers -------------------------- C A L C U L E M U S 2007 -------------------------- June 27--30, 2007 RISC Institute Castle of Hagenberg, Austria http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/ General ------- Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS) towards the development of universal mathematical assistant systems (MAS). Currently, symbolic computation is divided into several (more or less) independent branches, traditional ones (e.g. computer algebra and theorem proving) 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 MAS that will routinely be used by mathematicians, computer scientists, and engineers in their every-day business. For the upcoming Calculemus meeting, which will be held jointly with MKM2007 in Hagenberg, Austria, we seek original research papers in this context. Scope ----- The scope of Calculemus covers all aspects of developing mathematical assistant systems, in particular, the interplay of automated reasoning and computer algebra. Potential areas of interest are: o) Automated reasoning in computer algebra o) Computer algebra in automated reasoning o) Interdisciplinary systems o) Infrastructure for mathematical services o) Theory exploration techniques o) Theory, design, and implementation of MAS o) Case studies and applications of MAS Keynote Speakers ---------------- Thomas Hales, University of Pittsburgh John Harrison, Intel Inc. Peter Paule, RISC-Linz Important Dates --------------- February 12, 2007: Submission deadline March 12, 2007: Notification of acceptance March 26, 2007: Camera ready copies due June 27--30, 2007: Calculemus 2007 in Hagenberg, Austria Submission ---------- Please submit your full paper of at most 12 pages prepared with the standard LNCS class style as pdf or ps file via http://www.easychair.org/CALCULEMUS07/ on or before February 12, 2007. Detailed formating instructions can be found on the Calculemus website. Proceedings ----------- Accepted papers will be published in the LNAI series of Springer. Program Committee ----------------- Alessandro Armando (University of Genova, Italy) Christoph Benzmueller (University of Cambridge, UK) Olga Caprotti (University of Helsinki, Finland) Jacques Carette (McMaster, Canada) Timothy Daly (Carnegie Mellon, USA) William M. Farmer (McMaster, Canada) Keith O. Geddes (Waterloo, Canada) Tom Hales (Pittsburgh, USA) Hoon Hong (North Carolina State University, USA) Deepak Kapur (New Mexico, USA) Manuel Kauers (RISC-Linz, Austria; Program Co-Chair) Laura Kovacs (RISC-Linz, Austria; Local Chair) Petr Lisonek (Simon Fraser University, Canada) Roy McCasland (University of Edinburgh, UK) Renauld Rioboo (Universtite Pierre et Marie Curie, France) Volker Sorge (University of Birmingham, UK) Klaus Sutner (Carnegie Mellon, USA) Thomas Sturm (University of Passau, Germany) Wolfgang Windsteiger (RISC-Linz, Austria; General Chair and Program Co-Chair) Workshops --------- The conference will be accompanied by several satellite workshops, which are currently under negotiation. Watch out for up-to-date information on our website.