From: Paul Cairns <p.cairns@ucl.ac.uk>
To: projects-mkm-ig@lysander.iu-bremen.de,
projects-mkm-trustees@lysander.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,
deducktion@intellektik.informatik.th-darmstadt.de,
rewriting@ens-lyon.fr, kgs@logic.tuwien.ac.at, 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,
formal-methods@cs.uidaho.edu,
fg121@sunjessen46.informatik.tu-muenchen.de, ed@mcs.anl.gov,
www-math@w3.org, aisb@cogs.sussex.ac.uk,
compulog-deduction@cs.bham.ac.uk, lprolog@cs.umn.edu,
vki-list@dfki.de, zforum@prg.ox.ac.uk, mathgroup@smc.vnet.net,
webmath@camel.math.ca
Subject: MKM 2006: Call for Participation
Date: Wed, 28 Jun 2006 10:19:53 +0100 [thread overview]
Message-ID: <6.0.3.0.0.20060628101601.01f4e3f0@pop-server.ucl.ac.uk> (raw)
MKM 2006: The 5th internation Conference on
Mathematical Knowledger Management
***EARLY REGISTRATION ENDS 1st JULY*****
10-12 August 2006, St Annes Manor Hotel, Wokingham, UK.
Call for Participation
Mathematical Knowledge Management (MKM) is an emerging interdisciplinary
field of research in the intersection of mathematics, computer science,
library science, and scientific publishing. Its objective is to develop new
and better ways of managing mathematical knowledge using sophisticated
software tools. Its grand challenge is to create a universal digital
mathematics library accessible via the World-Wide Web. Sponsored by the MKM
Interest Group, MKM 2006 will be the fifth conference in a series of
international MKM conferences that started in 2001.
The two day conference programme will consist of 20 fully refereed papers,
two invited speakers and a panel discussion. The MKM Interest Group Business
Meeting will be held on the Friday of the conference.
Invited Speakers:
* Gregory J. Chaitin, IBM Research
Irreducible complexity in pure math
* Abdou Youssef, George Washington University
Roles of Math Search in Mathematics
The conference programme will be available on the web site shortly.
Registration for the conference, and the associated workshop MathUI (User
Interfaces for Mathematics) is now available via the conference web site at:
http://www.rdg.ac.uk/MKM06/
Organisers:
Conference Co-Chairs:
* Andrew A. Adams, The University of Reading, UK
* Paul Cairns, UCL, UK
Programme Committee Co-Chairs:
* Jon Borwein, Dalhousie University, Canada
* William Farmer, McMaster University, Canada
MKM 2006 is an official Satellite Conference of the International Congress of
Mathematicians.
next reply other threads:[~2006-06-28 9:36 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-06-28 9:19 Paul Cairns [this message]
-- strict thread matches above, loose matches on Subject: below --
2006-05-23 13:40 Andrew A. Adams
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=6.0.3.0.0.20060628101601.01f4e3f0@pop-server.ucl.ac.uk \
--to=p.cairns@ucl.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=compulog-deduction@cs.bham.ac.uk \
--cc=compulognet-parimp@dia.fi.upm.es \
--cc=coq-club@pauillac.inria.fr \
--cc=deducktion@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@lysander.iu-bremen.de \
--cc=projects-mkm-trustees@lysander.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;
as well as URLs for NNTP newsgroup(s).