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:20160313T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20161106T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a251133136d4
DTSTART;TZID=America/Toronto:20170214T150000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20170214T150000
URL:https://uwaterloo.ca/pure-mathematics/events/computability-learning-sem
 inar-59
SUMMARY:Computability Learning Seminar
CLASS:PUBLIC
DESCRIPTION:MICHAEL DEVEAU\, DEPARTMENT OF PURE MATHEMATICS\, UNIVERSITY OF
  WATERLOO\n\n\"Scott Sentences for Existentially Atomic Structures\"\n\nWe
  have seen the existence of a Scott family comprised of existential\nformu
 las for a structure is equivalent to the that structure being\nexistential
 ly atomic. We can now define the equivalent notion for a\nsingle (infinite
 ) sentence\, and prove that possessing such a sentence\nis also equivalent
  to the structure being existentially atomic. As per\nusual\, we will also
  prove an effective version.\n\nMC 5403
DTSTAMP:20260607T063531Z
END:VEVENT
END:VCALENDAR