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:20170312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20161106T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a25311b41ac4
DTSTART;TZID=America/Toronto:20171102T153000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20171102T153000
URL:https://uwaterloo.ca/pure-mathematics/events/logic-seminar-20
SUMMARY:Logic Seminar
CLASS:PUBLIC
DESCRIPTION:LAURENT BIENVENU\, UNIVERSITY OF MONTPELLIER\n\n\"Randomized al
 gorithms in computability theory - Part II\"\n\nThis talk will elaborate o
 n the Oct 30 colloquium. I will give details\non several proofs\, in parti
 cular how to show a $\\Pi^0_1$ class is\ndeep\, applications of depth to o
 ther computability-theoretic notions\,\nand how to use fireworks arguments
  with other forcing notions than\nCohen-type forcing. Though attending the
  colloquium would give\nmotivation and context for the topics we will disc
 uss\, the talk will\nbe self-contained.\n\nMC 5413
DTSTAMP:20260607T085139Z
END:VEVENT
END:VCALENDAR