BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Principia Mathematica anniversary symposium - Robert Constable\, M
 ohan Ganesalingam\, Ivor Grattan-Guinness\, John Harrison\, Randall Holmes
 \, Fairouz Kamareddine\, Michael Potter\, Byeong-uk Yi
DTSTART:20101127T134500Z
DTEND:20101127T000000Z
UID:TALK27999@talks.cam.ac.uk
CONTACT:15232
DESCRIPTION:2010 is the hundredth anniversary of Whitehead and Russell's P
 rincipia Mathematica\, a key work on the foundations of mathematics. A sym
 posium is being held to mark the occasion\, at the College where the autho
 rs were working.\n\nThis meeting is intended to address a broad range of i
 nterests: history\, foundational mathematics\, philosophy\, type theory an
 d mechanical theorem-proving. The symposium will be valuable to people int
 erested in the intersection of these areas\, or in relevant sub-branches o
 f each area. Practitioners and students alike would benefit from attending
  this meeting.\n\nMore information can be obtained from the symposium webs
 ite: http://www.srcf.ucam.org/principia/
LOCATION:Winstanley Lecture Theatre\, Trinity College\, Cambridge\, CB2 1T
 Q
END:VEVENT
END:VCALENDAR