[FOM] Principia symposium in Cambridge
T.Forster at dpmms.cam.ac.uk
Sat Aug 21 19:16:25 EDT 2010
PRINCIPIA in Cambridge
2010 is the hundredth anniversary of Russell-and-Whitehead's
Principia, and a symposium to comemmorate it is to be held at
the University where the authors were working.
The venue: Trinity College Cambridge
The date: Last weekend of November 2010
The speakers: Robert Constable,
As can probably be discerned from the list of speakers, this
meeting is intended to address a broad range of interests: history,
foundational mathematics, philosophy, type theory and mechanical
theorem-proving. The symposium will be valuable to people interested
in the intersection of these areas, or in relevant sub-branches of
each area. Practitioners and students alike would benefit from
attending this meeting.
There is space in the timetable for contributed papers. People wishing
to offer talks - as well as people who might wish to attend or merely
want more information - are encouraged to contact the organisers:
Thomas Forster tf at dpmms.cam.ac.uk
Peter Smith peter_smith at me.com
Nik Sultana nik.sultana at cl.cam.ac.uk
The URL is http://www.srcf.ucam.org/principia/ and there is a link
thence to a mailing list.
URL: www.dpmms.cam.ac.uk/~tf; DPMMS ph: +44-1223-337981;
Canterbury office fone: +64-3-3642987 x 8152
Mobile in NZ +64-210580093.
(UEA ph: +44-1603-593588; mobile in UK +44-7887-701-562;)
More information about the FOM