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:20260308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20251102T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a40e33528d9e
DTSTART;TZID=America/Toronto:20260702T133000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20260702T150000
URL:https://uwaterloo.ca/pure-mathematics/events/computability-learning-sem
 inar-175
SUMMARY:Computability Learning Seminar
CLASS:PUBLIC
DESCRIPTION:MICHAEL GREGORY\, UNIVERSITY OF WATERLOO\n\n_Basic Universal Al
 gebra Aimed at Isomorphism Problems for c.e.\nPresentations_\n\nWe begin w
 ith the notions of a universal algebra\, homomorphism\,\ncongruence\, and 
 quotient algebra\, and discuss the relationship between\ncongruences and h
 omomorphic images. We then introduce term algebras\nand varieties\, culmin
 ating in a statement of Birkhoff's HSP Theorem.\nTo prepare for later comp
 utability applications\, we briefly review\nlattices and the congruence la
 ttice of an algebra. Finally\, we\ndescribe how finitely generated and com
 putably enumerable algebras may\nbe specified by presentations.\n\nMC 5403
DTSTAMP:20260628T090245Z
END:VEVENT
END:VCALENDAR