BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Drupal iCal API//EN
X-WR-CALNAME:Events items teaser
X-WR-TIMEZONE:America/Toronto
BEGIN:VTIMEZONE
TZID:America/Toronto
X-LIC-LOCATION:America/Toronto
BEGIN:DAYLIGHT
TZNAME:EDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
DTSTART:20130310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20121104T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a22c0e528808
DTSTART;TZID=America/Toronto:20130704T153000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20130704T153000
URL:https://uwaterloo.ca/pure-mathematics/events/logic-seminar-belanger-jul
 -4-2013
LOCATION:MC - Mathematics & Computer Building 200 University Avenue West 50
 45 Waterloo ON N2L 3G1 Canada
SUMMARY:Logic seminar
CLASS:PUBLIC
DESCRIPTION:DAVID BELANGER\, CORNELL UNIVERSITY\n\n“DISJUNCTIONS IN REVER
 SE MATHEMATICS”\n\nThe main question of reverse mathematics is: ”What 
 axioms are needed\nare needed to prove a given theorem of ordinary math?
 ” Implicit is\nthe assumption that if there is more than one proof\, the
 re is a best\nproof among them using axioms weaker than all the rest.
DTSTAMP:20260605T122821Z
END:VEVENT
END:VCALENDAR