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:6a24fa63e4e9c
DTSTART;TZID=America/Toronto:20170124T150000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20170124T150000
URL:https://uwaterloo.ca/pure-mathematics/events/computability-learning-sem
 inar-56
SUMMARY:Computability Learning Seminar
CLASS:PUBLIC
DESCRIPTION:JONNY STEPHENSON\, PURE MATHEMATICS\, UNIVERSITY OF WATERLOO\n\
 n\"The back-and-forth property and uniform computable categoricity\"\n\nCa
 ntor's back-and-forth argument gives a condition allowing one to\nconstruc
 t isomorphisms between different copies of mathematical\nstructures by a p
 rocess of finite extension. We will give a condition\nwhich shows when suc
 h a procedure can be carried out\, as well as\ndemonstrating a link betwee
 n back-and-forth procedures\, effective\natomicity\, and uniform computabl
 e categoricity of structures.\n\nMC 5403
DTSTAMP:20260607T045811Z
END:VEVENT
END:VCALENDAR