Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

27-28 November 2010, PRINCIPIA (100 years Russell & Whitehead), Cambridge (U.K.)

Date: 27-28 November 2010
Location: Cambridge (U.K.)
Deadline: 15 September 2010

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. Speakers: Robert Constable, Michael Potter, Mohan Ganesingalam, John Harrison, Randall Holmes, Ivor Grattan-Guinness and 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.

The URL of the conference is http://www.srcf.ucam.org/principia/ and there is a link thence to a mailing list.

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 (deadline 15th September): Thomas Forster (), Peter Smith () and Nik Sultana ()

Please note that this newsitem has been archived, and may contain outdated information or links.