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.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 1B0CCBBC1 for ; Mon, 3 Mar 2008 15:46:11 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALudy0eGYAcfeGdsb2JhbACBVo8cAQoEBg8amzM X-IronPort-AV: E=Sophos;i="4.25,438,1199660400"; d="scan'208";a="7941824" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 03 Mar 2008 15:46:11 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m23Ek8U6022962 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 3 Mar 2008 15:46:10 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALudy0eGYAcfeGdsb2JhbACBVo8cAQoEBg8amzM X-IronPort-AV: E=Sophos;i="4.25,438,1199660400"; d="scan'208";a="7941820" Received: from theia.rz.uni-saarland.de ([134.96.7.31]) by mail2-smtp-roc.national.inria.fr with ESMTP; 03 Mar 2008 15:46:08 +0100 Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by theia.rz.uni-saarland.de (8.14.1/8.14.0) with ESMTP id m23Ek7ca015948 for ; Mon, 3 Mar 2008 15:46:07 +0100 Received: from monster3.ags.uni-sb.de (monster3.ags.uni-sb.de [134.96.236.131]) by mail.cs.uni-sb.de (8.14.2/2008022900) with ESMTP id m23Ek7IE005305 for ; Mon, 3 Mar 2008 15:46:07 +0100 (CET) Received: from monster3.ags.uni-sb.de ([134.96.236.131] helo=pomerol.autexier.de) by monster3.ags.uni-sb.de with smtp (Exim 4.68) (envelope-from ) id 1JWBxQ-0005g2-CV; Mon, 03 Mar 2008 15:48:00 +0100 Date: Mon, 03 Mar 2008 15:46:06 +0100 From: Serge.Autexier@dfki.de (Serge Autexier) To: caml-list@inria.fr Cc: mkm08@ags.uni-sb.de Subject: MKM'08: Final Call for Papers Message-ID: <47cc0f2e.1eptVxWLimzKd3Dy%Serge.Autexier@dfki.de> User-Agent: Heirloom mailx 12.2 01/07/07 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-3.0 (theia.rz.uni-saarland.de [134.96.7.31]); Mon, 03 Mar 2008 15:46:07 +0100 (CET) X-AntiVirus: checked by AntiVir MailGate (version: 2.1.2-14; AVE: 7.6.0.73; VDF: 7.0.2.224; host: AntiVir1) X-Miltered: at discorde with ID 47CC0F30.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; dfki:01 intersection:01 formalized:01 algebra:01 lncs:01 lncs:01 dfki:01 saarland:01 heriot-watt:01 andrzej:01 saarland:01 ocr:98 authoring:98 petr:98 farmer:98 [Please post - apologies for multiple copies] MKM 2008 The Seventh International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://events.cs.bham.ac.uk/cicm08/mkm08/ 28-30 July 2008 Birmingham, UK FINAL CALL FOR PAPERS Mathematical Knowledge Management is an innovative field at the intersection of mathematics, computer science, library science, and scientific publishing. Its development is driven by on the one hand new technological possibilities which computer science, the Internet, and intelligent knowledge processing offer, and on the other hand the increasing demand by engineers and scientists for new techniques for producing, transmitting, consuming, and managing sophisticated mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. Topics covered include, but are not limited to: Representations of mathematical knowledge Repositories of formalized mathematics Mathematical digital libraries Diagrammatic representations Multi-modal representations Mathematical OCR Mathematical search and retrieval Deduction systems Math assistants, tutoring and assessment systems Authoring languages and tools MathML, OpenMath, and other mathematical content standards Web presentation of mathematics Data mining, discovery, theory exploration Computer Algebra Systems Collaboration tools for mathematics Challenges and Solutions for Mathematical workflows PAPER SUBMISSIONS All papers submitted to the Conference will be reviewed. Submission is electronic in Postscript or PDF format via the EasyChair system http://www.easychair.org/conferences/?conf=mkm08). Submitted papers must conform to the Springer LNCS style, preferably using LaTeX2e and the Springer llncs class files available at http://www.springer.com/lncs. Submitted papers should not exceed 15 pages, must be original and not submitted for publication. Submission website: http://www.easychair.org/conferences/?conf=mkm08 PROCEEDINGS The conference proceedings will be published in the Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI). WORKSHOPS The following workshops take place in conjunction with MKM 2008: * The "Mathematical User-Interfaces" Workshop 2008 (MathUI08), which is organized by Paul Libbrecht. * The Workshop "Towards Future Digital Mathematics Libraries", which is organized by Petr Sojka. IMPORTANT DATES Submission of title and abstract: March 7, 2008 Submission of full papers: March 14, 2008 Notification: May 2, 2008 Camera ready version: May 16, 2008 Conference in Birmingham: July 28-30, 2008 PROGRAM COMMITTEE Andrea Asperti University of Bologna, Italy Serge Autexier (Co-Chair) DFKI Saarbruecken & Saarland University, Germany Laurent Bernardin Maplesoft, Canada Thierry Bouche Universite de Grenoble I, France Paul Cairns University College London, England Olga Caprotti University of Helsinki, Finland Simon Colton Imperial College, London, England Mike Dewar NAG Ltd., England William Farmer McMaster University, Hamilton, Canada Herman Geuvers Radboud University Nijmegen, The Netherlands Eberhard Hilf Inst. for Science Networking Oldenburg, Germany Tetsuo Ida University of Tsukuba, Japan Mateja Jamnik University of Cambridge, England Fairouz Kamareddine Heriot-Watt University, Scotland Manfred Kerber University of Birmingham, England Michael Kohlhase Jacobs University Bremen, Germany Paul Libbrecht DFKI Saarbruecken, Germany Bruce Miller NIST, USA Robert Miner Design Science, Inc., USA Bengt Nordstroem Chalmers University of Technology, Sweden Eugenio Rocha University of Aveiro, Portugal Alan Sexton University of Birmingham, England Petr Sojka Masaryk University, Brno, CZ Volker Sorge University of Birmingham, England Masakazu Suzuki (Co-Chair) Kyushu University, Japan Andrzej Trybulec University of Bialystok, Poland Stephen Watt The University of Western Ontario, Canada Abdou Youssef George Washington University, Washington DC, USA CONFERENCE CHAIR Volker Sorge University of Birmingham, England RELATED LINKS MKM IG http://www.mkm-ig.org/ Calculemus'08 http://events.cs.bham.ac.uk/cicm08/calculemus08/ AISC'08 http://events.cs.bham.ac.uk/cicm08/aisc08/ CICM'08 http://events.cs.bham.ac.uk/cicm08 -- Serge Autexier Tel: +49-681-302-2133 DFKI GmbH & Fax: +49-681-302-5076 Informatics, Saarland University Email: autexier@dfki.de 66123 Saarbruecken WWW: www.dfki.de/~serge/