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:20190310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20181104T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a237e4aba663
DTSTART;TZID=America/Toronto:20191022T140000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20191022T140000
URL:https://uwaterloo.ca/pure-mathematics/events/computability-learning-sem
 inar-108
SUMMARY:Computability Learning Seminar
CLASS:PUBLIC
DESCRIPTION:LUKE MACLEAN\, DEPARTMENT OF PURE MATHEMATICS\, UNIVERSITY OF W
 ATERLOO\n\n\"REVERSE MATHEMATICS\"\n\nWhile most of mathematics is concern
 ed with using a set of axioms to\nprove theorems\, reverse mathematics is 
 a relatively new form of\nmathematical logic that seeks to determine which
  axioms are required\nto prove certain theorems. This gives a notion of th
 e “strength”\nof a certain theorem by looking at which theorems imply 
 it\, and which\nare implied by it.
DTSTAMP:20260606T015626Z
END:VEVENT
END:VCALENDAR