AISB event Bulletin Item
CFP: MKM-2007 (Mathematical Knowledge Management)
MKM 2007 Sixth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://www.cs.bham.ac.uk/~mmk/events/MKM07/ 27--30 June 2007 Hagenberg --- Austria FIRST CALL FOR PAPERS Mathematical Knowledge Management is an innovative field in the intersection of mathematics and computer science. Its development is driven on the one hand by the new technological possibilities which computer science, the internet, and intelligent knowledge processing offer, and on the other hand by the need for new techniques for managing the rapidly growing volume of mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. A (non-exclusive) list of important areas of current interest includes: Representation of mathematical knowledge Repositories of formalized mathematics Diagrammatic representations Mathematical search and retrieval Deduction systems Math assistants, tutoring and assessment systems Mathematical OCR Inference of semantics for semi-formalized mathematics Digital libraries 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 SUBMISSION The deadline for submissions is 12 February 2007. Submitted papers should not exceed 15 pages, must be original and not submitted for publication. All papers submitted to the Conference will be reviewed. Submission details will be announced on the conference web pages. PROCEEDINGS We we will publish the proceedings in the Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI). Authors of accepted papers are expected to present their work at the conference. IMPORTANT DATES 12 February 2007: Submission deadline 12 March 2007: Notification of acceptance 26 March 2007: Camera ready copies due 27--30 June 2007: Conference in Hagenberg, Austria LOCAL ORGANIZER Wolfgang Windsteiger, Johannes Kepler University, Linz, Austria PROGRAM COMMITTEE Andrea Asperti University of Bologna, Italy Laurent Bernardin Maplesoft, Canada Jonathan Borwein Dalhousie University, Canada Thierry Bouche Universite de Grenoble I, France Bruno Buchberger Johannes Kepler University, Linz, Austria Paul Cairns University College London, England Olga Caprotti University of Helsinki, Finland Bruce Char Drexel University, Philadelphia, USA Simon Colton Imperial College London, England Mike Dewar Numerical Algorithms Group, England William Farmer McMaster University, Canada Herman Geuvers Radboud University Nijmegen, The Netherlands Tetsuo Ida University of Tsukuba, Japan Mateja Jamnik University of Cambridge, England Fairouz Kamareddine Heriot-Watt University, Scotland Manfred Kerber University of Birmingham, England (co-chair) Michael Kohlhase International University Bremen, Germany Paul Libbrecht DFKI Saarbruecken, Germany Robert Miner Design Science, USA (co-chair) Bengt Nordstrom Chalmers University of Technology, Sweden Ross Reedstrom Rice University, USA Eugenio Rocha Universidade de Aveiro, Portugal Alan Sexton University of Birmingham, England Andrzej Trybulec University of Bialystok, Poland Stephen Watt University Western Ontario, Canada Abdou Youssef George Washington University, USA RELATED LINKS http://www.mkm-ig.org http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/ WORKSHOPS There will be affiliated workshops with the MKM and Calculemus conferences. If you are interested in organizing one, contact the co-chairs Manfred Kerber and Robert Miner at firstname.lastname@example.org.