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:6a240d542347a
DTSTART;TZID=America/Toronto:20190704T100000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20190704T100000
URL:https://uwaterloo.ca/pure-mathematics/events/computability-learning-sem
 inar-103
SUMMARY:Computability Learning Seminar
CLASS:PUBLIC
DESCRIPTION:LUKE MACLEAN\, DEPARTMENT OF PURE MATHEMATICS\, UNIVERSITY OF W
 ATERLOO\n\n\"Different extensions of first-order logic (part 2)\"\n\nHavin
 g given definitions and examples of two different extensions of\nfirst-ord
 er logic\, I will proceed to sketch a proof that a computably\naxiomatizab
 le theory is finitely axiomatizable using additional\npredicates. Knowledg
 e of the first part is not necessary.\n\nMC 5479
DTSTAMP:20260606T120644Z
END:VEVENT
END:VCALENDAR