Email Gateway (Aug 18 2022 at 10:11): Email Gateway (Aug 18 2022 at 10:11):From: Manfred Kerber <M.Kerber@cs.bham.ac.uk>
MKM 2007
Sixth International Conference on
MATHEMATICAL KNOWLEDGE MANAGEMENT
http://www.cs.bham.ac.uk/~mmk/events/MKM07/
27--30 June 2007
RISC -- Hagenberg -- Austria
FINAL 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
INVITED SPEAKERS
Neil J. A. Sloane, AT&T Shannon Labs, Florham Park, New Jersey, USA:
The On-Line Encyclopedia of Integer Sequences
Peter Murray-Rust, University of Cambridge, Department of Chemistry, Cambridge, UK:
TBA
The programme will be arranged that all attendees of MKM can also attend the talks
by the invited speakers of Calculemus:
SUBMISSION
The deadline for submissions of titles and abstracts is 1 March 2007,
for that of full papers is 4 March 2007. [Deadline extended!]
Submitted papers should not exceed 15 pages, must be original and not
submitted for publication. Submission is via EasyChair.
All papers submitted to the Conference will be reviewed. For submission details
see http://www.cs.bham.ac.uk/~mmk/events/MKM07/submission.php.
PROCEEDINGS
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 (note the extended deadline)
1 March 2007: Deadline for electronic submissions of title and abstract
4 March 2007: Deadline for electronic submissions of full papers
2 April 2007: Notification of acceptance/rejection
13 April 2007: Camera ready copies due
27-30 June 2007: Conference at RISC, Hagenberg, Austria
CONFERENCE CHAIR Wolfgang Windsteiger
PROGRAMME CO-CHAIRS Manfred Kerber
Robert Miner
LOCAL ORGANIZER Laura Kovacs
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
The Mathematical User-Interfaces Workshop 2007 (MathUI07) takes place in
conjunction with MKM 2007. For details see:
http://www.activemath.org/~paul/MathUI07/
Further workshops are in discussion. If you want to organize one,
contact the co-chairs at mkm07@cs.bham.ac.uk as soon as possible.
Last updated: May 03 2024 at 08:18 UTC