[Haskell] LAST Call for Papers - MKM 2004 (Bialowieza, Poland)

Roman Matuszewski romat at mizar.org
Thu May 13 01:56:02 EDT 2004


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

We kindly recall you that the deadline for "MKM 2004" is approaching

                         MKM 2004

             Third International Conference on
            MATHEMATICAL  KNOWLEDGE  MANAGEMENT

                  http://mizar.org/MKM2004

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

                      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. A list of topics (to be understood as specialized to the
realm of mathematical information) comprises but is not restricted to:

Knowledge representation     Repositories of formalized mathematics
Metadata                     Deduction systems
Datamining                   Computer Algebra Systems
Digital libraries            Authoring languages and tools
Searching and retrieving     Interactive learning
Languages of mathematics     Web presentation of mathematics
Math assistants              MathML- and XML-based standards

SUBMISSION

To submit your paper go to MKM 2004 electronic submission site:
           http://mizar.uwb.edu.pl/CyberChairMKM/
The deadline for submissions is May 15, 2004. Submitted papers should
not exceed 15 pages, 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.

PROCEEDINGS

We plan to publish the proceedings of the Conference 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.

IMPORTANT DATES

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

AFFILIATED WORKSHOPS - September 18, 2004

- Mathematical User-Interfaces, 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,      Pierre & Marie Curie U., France
Fairouz Kamareddine, Heriot-Watt U., U.K.
Michael Kohlhase,    Internat. U. Bremen, Germany
Paul Libbrecht,      Saarland University, Germany
Bengt Nordstrom,     Chalmers U. of Techn., Sweden
Renaud Rioboo,       Pierre & Marie Curie U., France
Bernd Wegner,        Technical U. of Berlin, Germany

RELATED LINKS

MKM Consortium, http://monet.nag.co.uk/mkm/consortium.html
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:romat at mizar.org
http://mizar.org/people/romat/


More information about the Haskell mailing list