caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* MKM 2006: Call for Participation
@ 2006-06-28  9:19 Paul Cairns
  0 siblings, 0 replies; 2+ messages in thread
From: Paul Cairns @ 2006-06-28  9:19 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, deducktion, rewriting, kgs, 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, formal-methods, fg121, ed,
	www-math, aisb, compulog-deduction, lprolog, vki-list, zforum,
	mathgroup, webmath

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.


^ permalink raw reply	[flat|nested] 2+ messages in thread

* MKM 2006: Call for Participation
@ 2006-05-23 13:40 Andrew A. Adams 
  0 siblings, 0 replies; 2+ messages in thread
From: Andrew A. Adams  @ 2006-05-23 13:40 UTC (permalink / raw)
  To: vdm-forum, mapledev, fom, caml-list, eapls


[Apologies if you receive multiple copies.]

MKM 2006: The 5th International Conference on
Mathematical Knowledge Management

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 event consists of a one day workshop (MathUI - Mathematical User 
Interfaces) on the 10th August and the main conference on 11th and 12th 
August. The main 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.

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 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 run under the auspices of the MKM Interest Group 
(www.mkm-ig.org). MKM 2006 is an official Satellite Conference of the 
International Congress of Mathematicians.



-- 
Dr Andrew A. Adams, Lecturer in Systems Engineering, University of Reading
http://www.rdg.ac.uk/~sis00aaa
Conference Chair, MKM '06
http://www.rdg.ac.uk/MKM06/




^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2006-06-28  9:36 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-06-28  9:19 MKM 2006: Call for Participation Paul Cairns
  -- strict thread matches above, loose matches on Subject: below --
2006-05-23 13:40 Andrew A. Adams 

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).