BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2010/newsitem/3529/27-
 28-November-2010-PRINCIPIA-100-years-Russell-White
 head-Cambridge-U-K-
DTSTAMP:20100902T000000
SUMMARY:PRINCIPIA (100 years Russell & Whitehead),
  Cambridge (U.K.)
DTSTART;VALUE=DATE:20101127
DTEND;VALUE=DATE:20101128
LOCATION:Cambridge (U.K.)
DESCRIPTION:2010 is the hundredth anniversary of R
 ussell-and-Whitehead's Principia, and a symposium 
 to comemmorate it is to be held at the University 
 where the authors were working. Speakers: Robert C
 onstable, Michael Potter, Mohan Ganesingalam, John
  Harrison, Randall Holmes, Ivor Grattan-Guinness a
 nd Fairouz Kamareddine.   As can probably be disce
 rned from the list of speakers, this meeting is in
 tended to address a broad range of interests: hist
 ory, foundational mathematics, philosophy, type th
 eory and mechanical theorem-proving. The symposium
  will be valuable to people interested in the inte
 rsection of these areas, or in relevant sub-branch
 es of each area. Practitioners and students alike 
 would benefit from attending this meeting.   The U
 RL of the conference is http://www.srcf.ucam.org/p
 rincipia/ and there is a link thence to a mailing 
 list.   There is space in the timetable for contri
 buted papers. People wishing to offer talks - as w
 ell as people who might wish to attend or merely w
 ant more information - are encouraged to contact t
 he organisers (deadline 15th September): Thomas Fo
 rster (tf at dpmms.cam.ac.uk), Peter Smith (peter_
 smith at me.com) and Nik Sultana (nik.sultana at c
 l.cam.ac.uk)
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>2010 
 is the hundredth anniversary of Russell-and-Whiteh
 ead's\n        Principia, and a symposium to comem
 morate it is to be held at\n        the University
  where the authors were working.\n        Speakers
 : Robert Constable,\n                 Michael Pott
 er,\n                 Mohan Ganesingalam,\n       
           John Harrison,\n                 Randall
  Holmes,\n                 Ivor Grattan-Guinness a
 nd\n                 Fairouz Kamareddine.\n      <
 /p>\n      <p>As can probably be discerned from th
 e list of speakers, this\n        meeting is inten
 ded to address a broad range of interests: history
 ,\n        foundational mathematics, philosophy, t
 ype theory and mechanical\n        theorem-proving
 . The symposium will be valuable to people interes
 ted\n        in the intersection of these areas, o
 r in relevant sub-branches of\n        each area. 
 Practitioners and students alike would benefit fro
 m\n        attending this meeting.\n      </p>\n  
   \n      \n      <p>The URL of the conference is\
 n       <a target="_blank" href="http://www.srcf.u
 cam.org/principia/">http://www.srcf.ucam.org/princ
 ipia/</a> and there is a link\n        thence to a
  mailing list.\n      </p>\n    </div><div>\n     
  <p>There is space in the timetable for contribute
 d\n      papers. People wishing to offer talks - a
 s well as people who\n      might wish to attend o
 r merely want more information - are\n      encour
 aged to contact the organisers (deadline 15th Sept
 ember):\n      Thomas Forster (<a class="email">tf
  <span class="at">at</span> dpmms.cam.ac.uk</a>),\
 n      Peter Smith (<a class="email">peter_smith <
 span class="at">at</span> me.com</a>)\n      and N
 ik Sultana (<a class="email">nik.sultana <span cla
 ss="at">at</span> cl.cam.ac.uk</a>)\n      </p>\n 
      </div>
URL:/NewsandEvents/Archives/2010/newsitem/3529/27-
 28-November-2010-PRINCIPIA-100-years-Russell-White
 head-Cambridge-U-K-
END:VEVENT
END:VCALENDAR