[Om-announce] RE: [Webmath] MKM 2006: Call for Participation
John Bibby
qed at enterprise.net
Thu Jun 29 12:49:56 CEST 2006
I'd be interested to keep in touch with your activities but this date
clashes with the ICOTS conference in Brazil I'm afraid
Thank you and Best Regards
JOHN BIBBY
1 Straylands Grove, York YO31 1EB (01904-330 334)
NB: Visit *** www.tarquinbooks.com *** for a special gift - put 'aa42'
after your name when ordering.
All statements are on behalf of aa42.com Limited, a company wholly owned by
John Bibby and Shirley Bibby. See www.aa42.com/mathemagic and
www.mathemagic.org
> -----Original Message-----
> From: webmath-bounces at camel.math.ca
> [mailto:webmath-bounces at camel.math.ca]On Behalf Of Paul Cairns
> Sent: 28 June 2006 10:20
> To: projects-mkm-ig at lysander.iu-bremen.de;
> projects-mkm-trustees at lysander.iu-bremen.de;
> namkm at hygelac.cas.mcmaster.ca; omdoc at mathweb.org;
> om-announce at openmath.org; calculemus-ig at ags.uni-sb.de;
> ftp at logic.at; ftp-community at logic.at; kgs at logic.tuwien.ac.at;
> theorem-provers at ai.mit.edu; coq-club at pauillac.inria.fr;
> compulognet-parimp at dia.fi.upm.es; formal-methods at cs.uidaho.edu;
> info-hol at cs.uidaho.edu; isabelle-users at cl.cam.ac.uk;
> mizar-forum at mizar.uwb.edu.pl; pvs at csl.sri.com;
> acl2 at cs.utexas.edu; nqthm-users at cs.utexas.edu;
> nuprl at cs.cornell.edu; CADEinc at cs.albany.edu;
> deducktion at intellektik.informatik.th-darmstadt.de;
> rewriting at ens-lyon.fr; kgs at logic.tuwien.ac.at; ccl at ps.uni-sb.de;
> clp at comp.nus.edu.sg; complog at cs.nmsu.edu; comlab at comlab.ox.ac.uk;
> kbcsl at uni-paderborn.de; ki-inf at uni-koblenz.de; kr at kr.org;
> lfcs-interest at dcs.ed.ac.uk; stp at dcs.gla.ac.uk;
> types at cis.upenn.edu; aiia at di.unito.it; members at fmeurope.org;
> siksleden at cs.ruu.nl; om at openmath.org; seworld at cs.colorado.edu;
> SymbolicNet at mcs.kent.edu; vdm-forum at mailbase.ac.uk;
> mapledev at maplesoft.com; fom at cs.nyu.edu; caml-list at inria.fr;
> eapls at jiscmail.ac.uk; asl at vassar.edu;
> formal-methods at cs.uidaho.edu;
> fg121 at sunjessen46.informatik.tu-muenchen.de; ed at mcs.anl.gov;
> www-math at w3.org; aisb at cogs.sussex.ac.uk;
> compulog-deduction at cs.bham.ac.uk; lprolog at cs.umn.edu;
> vki-list at dfki.de; zforum at prg.ox.ac.uk; mathgroup at smc.vnet.net;
> webmath at camel.math.ca
> Subject: [Webmath] MKM 2006: Call for Participation
>
>
> 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.
>
> _______________________________________________
> Webmath mailing list
> Webmath at camel.math.ca
> https://mail.cms.math.ca/mailman/listinfo/webmath
>
> --
> No virus found in this incoming message.
> Checked by AVG Free Edition.
> Version: 7.1.394 / Virus Database: 268.9.4/375 - Release Date: 25/06/2006
>
--
No virus found in this outgoing message.
Checked by AVG Free Edition.
Version: 7.1.394 / Virus Database: 268.9.4/375 - Release Date: 25/06/2006
More information about the Om-announce
mailing list