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.3 required=5.0 tests=MAILTO_TO_SPAM_ADDR autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id C990BBC6B for ; Thu, 29 Nov 2007 13:23:44 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALk9TkfAXQImh2dsb2JhbACBW41lAgEICik X-IronPort-AV: E=Sophos;i="4.23,228,1194217200"; d="scan'208";a="19808067" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 29 Nov 2007 13:23:44 +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 lATCNhWH028982 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 29 Nov 2007 13:23:44 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAPM9TkeGYAcfi2dsb2JhbACBW41lAgEIBAYPGg X-IronPort-AV: E=Sophos;i="4.23,228,1194217200"; d="scan'208";a="4731721" Received: from theia.rz.uni-saarland.de ([134.96.7.31]) by mail2-smtp-roc.national.inria.fr with ESMTP; 29 Nov 2007 13:23:43 +0100 Received: from uni-sb.de (uni-sb.de [134.96.7.230]) by theia.rz.uni-saarland.de (8.14.1/8.14.0) with ESMTP id lATCNhLW011359 for ; Thu, 29 Nov 2007 13:23:43 +0100 Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by uni-sb.de (8.14.2/2007110200) with ESMTP id lATCNgoD020095 for ; Thu, 29 Nov 2007 13:23:42 +0100 (CET) Received: from monster3.ags.uni-sb.de (www.ags.uni-sb.de [134.96.236.82]) by mail.cs.uni-sb.de (8.14.2/2007112900) with ESMTP id lATCNgu7024932 for ; Thu, 29 Nov 2007 13:23:42 +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 1IxiQo-0005HF-7q; Thu, 29 Nov 2007 13:23:50 +0100 Date: Thu, 29 Nov 2007 13:23:41 +0100 From: Serge.Autexier@dfki.de (Serge Autexier) To: caml-list@inria.fr Cc: mkm08@ags.uni-sb.de Subject: MKM'08: First Call for Papers and Workshops Message-ID: <474eaf4d.U9smeQOU1Hm96ePH%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]); Thu, 29 Nov 2007 13:23:43 +0100 (CET) X-AntiVirus: checked by AntiVir MailGate (version: 2.1.2-14; AVE: 7.6.0.35; VDF: 7.0.1.23; host: AntiVir1) X-Miltered: at discorde with ID 474EAF50.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 suzuki: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 FIRST CALL FOR PAPERS AND WORKSHOPS 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/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/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. * A Workshop "Towards Future Digital Mathematics Libraries", which is organized by Petr Sojka. If you are interested in organizing one, contact the co-chairs Serge Autexier and Masakazu Suzuki at mkm08@ags.uni-sb.de as soon as possible. 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 Tryblec 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/