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:20150308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20141102T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a2364bc78cc2
DTSTART;TZID=America/Toronto:20150324T153000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20150324T153000
URL:https://uwaterloo.ca/pure-mathematics/events/computability-learning-sem
 inar-1
LOCATION:MC 5413 Canada
SUMMARY:Computability Learning Seminar
CLASS:PUBLIC
DESCRIPTION:MICHAEL DEVEAU\, DEPARTMENT OF PURE MATHEMATICS\n\n\"Weak Köni
 g's Lemma over RCA_0\"\n\nSince the addition of Konig's Lemma to RCA_0 pre
 sented last time\nproved to be too strong\, we will next investigate the a
 ddition of Weak\nKonig's Lemma to RCA_0. To show that this will have stren
 gth strictly\nbetween RCA_0 and ACA_0\, we will spend some time discussing
  the PA\ndegrees\, including an important application of the Low Basis The
 orem.
DTSTAMP:20260606T000724Z
END:VEVENT
END:VCALENDAR