* MKM07 Call-for-Participation
@ 2007-05-04 10:55 mkm07
0 siblings, 0 replies; only message in thread
From: mkm07 @ 2007-05-04 10:55 UTC (permalink / raw)
To: projects-mkm-ig, projects-mkm-trustees, namkm, omdoc,
om-announce, calculemus-ig, ftp, ftp-community, kgs,
theorem-provers, coq-club, compulognet-parimp, formal-methods,
info-hol, isabelle-users, mizar-forum, pvs, acl2, nqthm-users,
nuprl, CADEinc, deduktion, rewriting, ccl, clp, complog, comlab,
kbcsl, ki-inf, kr, lfcs-interest, stp, types, aiia, members,
siksleden, om, seworld, SymbolicNet, vdm-forum, mapledev, fom,
caml-list, eapls, asl, fg121, ed, www-math, aisb, lprolog,
vki-list, zforum, mathgroup, webmath
MKM 2007
Sixth International Conference on
MATHEMATICAL KNOWLEDGE MANAGEMENT
http://www.cs.bham.ac.uk/~mmk/events/MKM07/
27--30 June 2007
RISC -- Hagenberg -- Austria
CALL FOR PARTICIPATION
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.
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, Univ. of Cambridge, Department of Chemistry, UK:
Mathematics and scientific markup
WORKSHOPS
* Mathematical User-Interfaces Workshop 2007 (MathUI07)
* 8th OpenMath Meeting
* W3C Math Working Group Face-to-Face Meeting
EARLY REGISTRATION
13 MAY 2007
FURTHER INFORMATION
on the workshops, the exciting programme and early registration can be
found from http://www.cs.bham.ac.uk/~mmk/events/MKM07/
--------------------------------------------------------------------------------
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2007-05-04 11:08 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-05-04 10:55 MKM07 Call-for-Participation mkm07
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox