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:20140309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20131103T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a2365dc9d7f4
DTSTART;TZID=America/Toronto:20141021T223000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20141021T223000
URL:https://uwaterloo.ca/pure-mathematics/events/universal-algebra-seminar-
 willard-oct-21-2014
LOCATION:MC - Mathematics & Computer Building 200 University Avenue West 51
 58B Waterloo ON N2L 3G1 Canada
SUMMARY:Universal Algebra seminar
CLASS:PUBLIC
DESCRIPTION:ROSS WILLARD\, PURE MATHEMATICS\, UNIVERSITY OF WATERLOO\n\n\"A
 DDING GAUSSIAN ELIMINATION TO LOCAL CONSISTENCY CHECKING - 2\"\n\nIn this 
 second of several lectures\, I will present a polynomial-time\nconsistency
  checking algorithm for constraint networks over a finite\ntemplate having
  a Taylor polymorphism. I conjecture that the algorithm\nis complete for M
 altsev templates\, and in future lectures will provide\nevidence supportin
 g this conjecture.
DTSTAMP:20260606T001212Z
END:VEVENT
END:VCALENDAR