Logic List Mailing Archive

PRINCIPIA (100 years Russell & Whitehead), Cambridge (U.K.), November 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,
  	      Michael Potter,
  	      Mohan Ganesingalam,
  	      John Harrison,
  	      Randall Holmes,
  	      Ivor Grattan-Guinness,
  	      Fairouz Kamareddine.

     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.