From: mkm07@cs.bham.ac.uk
To: projects-mkm-ig@lists.iu-bremen.de,
projects-mkm-trustees@lists.iu-bremen.de,
namkm@hygelac.cas.mcmaster.ca, omdoc@mathweb.org,
om-announce@openmath.org, calculemus-ig@ags.uni-sb.de,
ftp@logic.at, ftp-community@logic.at, kgs@logic.tuwien.ac.at,
theorem-provers@ai.mit.edu, coq-club@pauillac.inria.fr,
compulognet-parimp@dia.fi.upm.es, formal-methods@cs.uidaho.edu,
info-hol@cs.uidaho.edu, isabelle-users@cl.cam.ac.uk,
mizar-forum@mizar.uwb.edu.pl, pvs@csl.sri.com,
acl2@cs.utexas.edu, nqthm-users@cs.utexas.edu,
nuprl@cs.cornell.edu, CADEinc@cs.albany.edu,
deduktion@intellektik.informatik.th-darmstadt.de,
rewriting@ens-lyon.fr, ccl@ps.uni-sb.de, clp@comp.nus.edu.sg,
complog@cs.nmsu.edu, comlab@comlab.ox.ac.uk,
kbcsl@uni-paderborn.de, ki-inf@uni-koblenz.de, kr@kr.org,
lfcs-interest@dcs.ed.ac.uk, stp@dcs.gla.ac.uk,
types@cis.upenn.edu, aiia@di.unito.it, members@fmeurope.org,
siksleden@cs.ruu.nl, om@openmath.org, seworld@cs.colorado.edu,
SymbolicNet@mcs.kent.edu, vdm-forum@mailbase.ac.uk,
mapledev@maplesoft.com, fom@cs.nyu.edu, caml-list@inria.fr,
eapls@jiscmail.ac.uk, asl@vassar.edu,
fg121@sunjessen46.informatik.tu-muenchen.de, ed@mcs.anl.gov,
www-math@w3.org, aisb@cogs.sussex.ac.uk, lprolog@cs.umn.edu,
vki-list@dfki.de, zforum@prg.ox.ac.uk, mathgroup@smc.vnet.net,
webmath@camel.math.ca
Subject: MKM07 Call-for-Participation
Date: Fri, 04 May 2007 11:55:21 +0100 [thread overview]
Message-ID: <200705041108.l44B8pKj003553@concorde.inria.fr> (raw)
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/
--------------------------------------------------------------------------------
reply other threads:[~2007-05-04 11:08 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200705041108.l44B8pKj003553@concorde.inria.fr \
--to=mkm07@cs.bham.ac.uk \
--cc=CADEinc@cs.albany.edu \
--cc=SymbolicNet@mcs.kent.edu \
--cc=acl2@cs.utexas.edu \
--cc=aiia@di.unito.it \
--cc=aisb@cogs.sussex.ac.uk \
--cc=asl@vassar.edu \
--cc=calculemus-ig@ags.uni-sb.de \
--cc=caml-list@inria.fr \
--cc=ccl@ps.uni-sb.de \
--cc=clp@comp.nus.edu.sg \
--cc=comlab@comlab.ox.ac.uk \
--cc=complog@cs.nmsu.edu \
--cc=compulognet-parimp@dia.fi.upm.es \
--cc=coq-club@pauillac.inria.fr \
--cc=deduktion@intellektik.informatik.th-darmstadt.de \
--cc=eapls@jiscmail.ac.uk \
--cc=ed@mcs.anl.gov \
--cc=fg121@sunjessen46.informatik.tu-muenchen.de \
--cc=fom@cs.nyu.edu \
--cc=formal-methods@cs.uidaho.edu \
--cc=ftp-community@logic.at \
--cc=ftp@logic.at \
--cc=info-hol@cs.uidaho.edu \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=kbcsl@uni-paderborn.de \
--cc=kgs@logic.tuwien.ac.at \
--cc=ki-inf@uni-koblenz.de \
--cc=kr@kr.org \
--cc=lfcs-interest@dcs.ed.ac.uk \
--cc=lprolog@cs.umn.edu \
--cc=mapledev@maplesoft.com \
--cc=mathgroup@smc.vnet.net \
--cc=members@fmeurope.org \
--cc=mizar-forum@mizar.uwb.edu.pl \
--cc=namkm@hygelac.cas.mcmaster.ca \
--cc=nqthm-users@cs.utexas.edu \
--cc=nuprl@cs.cornell.edu \
--cc=om-announce@openmath.org \
--cc=om@openmath.org \
--cc=omdoc@mathweb.org \
--cc=projects-mkm-ig@lists.iu-bremen.de \
--cc=projects-mkm-trustees@lists.iu-bremen.de \
--cc=pvs@csl.sri.com \
--cc=rewriting@ens-lyon.fr \
--cc=seworld@cs.colorado.edu \
--cc=siksleden@cs.ruu.nl \
--cc=stp@dcs.gla.ac.uk \
--cc=theorem-provers@ai.mit.edu \
--cc=types@cis.upenn.edu \
--cc=vdm-forum@mailbase.ac.uk \
--cc=vki-list@dfki.de \
--cc=webmath@camel.math.ca \
--cc=www-math@w3.org \
--cc=zforum@prg.ox.ac.uk \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox