Virtual Competence Center Academy Insights & Results Partnerships Partners Calendar Contact
    Research Activities

Internal Area


MKM 2007

27. 06. 2007

Sixth International Conference on


                     27 - 30 June 2007
Hagenberg, Austria
                 SECOND 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


  • 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:
* Thomas Hales, University of Pittsburgh
* John Harrison, Intel Inc.
* Peter Paule, RISC-Linz


The deadline for submissions of titles and abstracts is 1 March 2007,
for that of full papers is 4 March 2007. 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


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 (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
Robert Miner LOCAL ORGANIZER Laura Kovacs

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



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 [email protected]

source of information: Paul Libbrecht

Deadline Call for Papers:
30. 06. 2007


EC-TEL 17-20 September 2007 Crete, Greece

Visual Information Engineering conference - VIE2007 [ read more ]

ICWL 2007 [ read more ]

EARLI 2007 Conference. Developing Potentials for Learning [ read more ]

AISHE Conference 2007 - Teaching and Learning in the Changing World of Higher Education [ read more ]

NHIBE 2007 5th International Conference on New Horizons in Industry, Business and Education [ read more ]

[ more news & events ]

RSS feeds available:
RSS 2.0
RSS 1.0
RSS 0.90

Search for learning objects


© 2005 PROLEARN  |  Contact: Ph.D Eelco Herder |    |  phone: +49. 511. 762 17737