Research Activities

Internal Area

MKM 2007

27. 06. 2007

Sixth International Conference on

            MATHEMATICAL KNOWLEDGE MANAGEMENT

          http://www.cs.bham.ac.uk/~mmk/events/MKM07/

                     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

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

SUBMISSION

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
see http://www.cs.bham.ac.uk/~mmk/events/MKM07/submission.php.

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 (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

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 mkm07@cs.bham.ac.uk.

source of information: Paul Libbrecht

Deadline Call for Papers:
30. 06. 2007

News
[ more news & events ]

RSS feeds available:

Search for learning objects