[Axiom-developer] Mathematical Knowledge Management 2004 - 2nd CFP

[root]

This is related to the 30 year horizon direction of Axiom.


Please post - apologies for multiple copies.
============================================

                         MKM 2004

             Third International Conference on
            MATHEMATICAL  KNOWLEDGE  MANAGEMENT

                  http://mizar.org/MKM2004

                  September 19 - 21, 2004
                    Bialowieza - Poland
           (organized by University of Bialystok)

                  Second Call for Papers

Mathematical Knowledge Management is a new field in the intersection
of mathematics and computer science.

We need new techniques for managing the enormous volume of
mathematical knowledge available in current mathematical sources and
making it available through the new developments in information
technology.

Mathematical knowledge is a treasure unsurpassed in its extent,
richness, and interconnectedness, its vitality to engineering,
science, and mathematics itself, its daily use by millions of people.
And thus mathematical knowledge seems to be an excellent candidate for
testing innovative theoretical and technological solutions for
content-based information systems, their interoperability, and
management of machine processable information on the Semantic Web.

The Conference aims to bring together mathematicians, software
developers, publishing companies, math organizations, and
teachers for exchanging their views and approaches, current activities
and new initiatives.

                        CALL FOR PAPERS

The Conference looks for original contributions to theoretical,
technological and pragmatical aspects of Mathematical Knowledge
Management. Papers focused on system/projects descriptions and
comparison, standardization efforts, critical surveys, large
experiments, and case studies are particularly welcome. A list of
topics (to be understood as specialized to the realm of mathematical
information) comprises but is not restricted to:

Authoring languages and tools     MathML and XML based standards
Computer Algebra Systems          Metadata
Data Mining                       Deduction Systems
Digital Libraries                 Math Assistants
Interactive learning              Searching and Retrieving
Web presentation of mathematics   Languages of mathematics
Knowledge representation          Repositories of formalized mathematics

Submission

The submission of papers will be electronic and should be emailed
directly to the Program Committee using the email address:
     address@hidden
The deadline for submissions is April 15, 2004. Submitted papers must
be original and not submitted for publication elsewhere. All papers
submitted to the Conference will be reviewed. Accepted papers will
appear in the proceedings before the Conference (see below).

Proceedings

The proceedings of the Conference we plan to publish in the
Springer-Verlag Lecture Notes in Computer Science series
(http://www.springer.de/comp/lncs/). Submitted papers must be
prepared according to "Authors Instructions of LNCS"
(http://www.springer.de/comp/lncs/authors.html). We strongly
encourage the author(s) to use LaTeX. Authors of accepted papers
are expected to present their work at the conference.

Location

The MKM 2004 will be held in Conference Centre of the Bialowieza
National Park (listed on the World Heritage List), situated on the
grounds of historic, picturesque Palace Park, in neighbourhood of the
one of a few remaining European lowland natural forests. The wilderness
of nature and beauty of the scenery create an unforgettable atmosphere
of the kingdom of bisons (http://www.mos.gov.pl/kzpn/en/bial_gb.htm).

Important Dates:

Submission Deadline:                    April 15, 2004
Notification of acceptance/rejection:   June 1st, 2004
Camera ready copies:                    July 1st, 2004
Conference:                             September 19 - September 21, 2004

Affiliated Workshops

- - - Mathematical User-Interfaces, September 18, 2004,
  organized by Paul Libbrecht,
- - - 30 years of Mizar, organized by Grzegorz Bancerek.

Program Committee:

Andrzej Trybulec,    Univ. of Bialystok, Poland  (Chair)
Andrew A. Adams,     University of Reading, U.K.
Andrea Asperti,      University of Bologna, Italy
Bruno Buchberger,    RISC Linz, Austria
Roy McCasland ,      U. of Edinburgh, U.K.
James Davenport,     University of Bath, U.K.
William M.Farmer,    McMaster University, Canada
Herman Geuvers,      Katholieke U. Nijmegen, NL
Therese Hardin,      U. Paris 6, France
Fairouz Kamareddine, Heriot-Watt U., U.K.
Michael Kohlhase,    Carnegie Mellon Univ., U.S.A.
Paul Libbrecht,      Saarland University, Germany
Bengt Nordstrom,     Chalmers U. of Techn., Sweden
Renaud Rioboo,       U. Paris 6, France
Bernd Wegner,        Technical U. of Berlin, Germany

Related links

MKM 2001,     http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/
MKM 2003,     http://www.cs.unibo.it/MKM03/
MKM NET,      http://monet.nag.co.uk/mkm/
MKM Symposium 2003,  http://www.macs.hw.ac.uk/~fairouz/mkm-symposium03/
NA-MKM 2002,  http://imps.mcmaster.ca/na-mkm-2002/
NA-MKM 2004,  http://imps.mcmaster.ca/na-mkm-2004/

==================================================================
Questions should be sent to conference chair:
Roman Matuszewski, mailto:address@hidden
http://mizar.org/people/romat
- ------- End of forwarded message -------
------- End of forwarded message -------