Mathematical Knowledge Management 2003 (fwd)
The following conference may be interested by the types community.
---------- Forwarded message ----------
Date: Fri, 22 Feb 2002 11:22:35 +0100 (CET)
From: Andrea Asperti <asperti@CS.UniBO.IT>
Cc: firstname.lastname@example.org, email@example.com,
firstname.lastname@example.org, email@example.com, firstname.lastname@example.org,
Subject: Mathematical Knowledge Management 2003
Second International Conference on
Mathematical Knowledge Management
February 16-18 2003
Bertinoro - Italy
(Residential Centre of the University of Bologna)
Call for Papers
Mathematical Knowledge Management is an exciting new field in the
intersection of mathematics and computer science.
We need efficient, new techniques - based on sophisticated formal
mathematics and software technology - for taking fruit of the enormous
knowledge available in current mathematical sources and for organizing
mathematical knowledge in a new way. On the other side, due its
very nature, the realm of mathematical information looks as the best
candidate for testing innovative theoretical and technological solutions
for content-based systems, interoperability, management of machine
understandable information, and the Semantic Web.
The Conference aims to bring together math researchers, software
developers, publishing companies, math organizations, and teachers for
exchanging their views and approaches and for pushing the field.
Call for papers.
The Conference looks for original contributions on theoretical,
technological and pragmatical aspects of mathematical knowledge
management. Papers focused on system/projects descriptions and comparison,
standardization efforts, critical surveys, large experimentations,
and case studies of mathematical knowledge management are particularly
welcome. A not exhaustive list of topics (to be understood as specialized
to the realm of MATHEMATICAL information) comprises:
Authoring languages and tools MathML and XML based standards
Computer Algebra Systems Metadata
Data Mining Theorem Proving
Digital Libraries Proof Assistants
Interactive learning Searching and Retrieving
Interoperability Web Publishing
The proceedings of the Conference will be published in the Springer-Verlag
Lecture Notes in Computer Science series
Paper submission will be electronic. The deadline for submissions is
september 1st, 2002. Papers should not exceed twelve pages and should
be edited according to the Authors Instructions of LNCS
Since LNCS is also published, in parallel to the printed books,
in full-text electronic version, authors will be required to send,
besides the printed papers, the electronic source files of all parts
of the manuscript (including front matter pages) as adviced in the
The Conference will be held in the Residential Centre of the University
of Bologna located in Bertinoro (http://www.centrocongressibertinoro.it/).
Bertinoro is a nice little place on the Appennini, at about one hour train
Submission Deadline: september 1st, 2002
acceptance/rejection: november 1st, 2002
Camera ready copies: november 22nd, 2002
Conference: february 16th - february 18th
Andrea Asperti (chair). University of Bologna, Italy.
Bruno Buchberger. RISC-Linz, Austria.
James Caldwell. University of Wyoming. U.S.A.
Olga Caprotti. OpenMath society. RISC-Linz, Austria.
James Davenport. University of Bath. U.K.
William M.Farmer. McMaster University, Canada.
Herman Geuvers. Dept. of Computer Science, KUN, Nijmegen.
Therese Hardin. Université Paris 6. France.
Michiel Hazewinkel. CWI, Amsterdam, The Netherlands.
Michael Kohlhase. Carnegie Mellon University,
Pittsburgh, PA, U.S.A.
Patrick D.F.Ion. American Mathematical Society.
University of Michigan. U.S.A.
Zhaohui Luo. University of Durham, U.K.
Rob Nederpelt. Eindhoven University of Technology.
Mark Sofroniou. Wolfram Research Inc.
Neil Soiffer. Wolfram Research Inc.
Masakazu Suzuki. Kyushu University, Japan.
Nobuki Takayama. Kobe University, Japan.
Andrzej Trybulec. University of Bialystok, Poland.
Stephen Watt. University of Western Ontario, Canada.
Bernd Wegner. European Mathematical Society.
Technical University of Berlin, Germany.
To be removed from this list, send a message with "unsubscribe info-hol"
as its sole content to email@example.com
For more information see http://lal.cs.byu.edu/lal/hol-documentation.html