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:20220313T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20211107T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69e15fc8eb201
DTSTART;TZID=America/Toronto:20220401T153000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20220401T153000
URL:https://uwaterloo.ca/combinatorics-and-optimization/events/tutte-colloq
 uium-curtis-bright
SUMMARY:Tutte Colloquium - Curtis Bright
CLASS:PUBLIC
DESCRIPTION:TITLE: SAT Solving with Computer Algebra for Combinatorics\n\n
 Speaker:\n Curtis Bright\n\nAffiliation:\n University of Windsor and Carle
 ton University\n\nLocation:\n MC 5501 or please contact Emma Watson for 
 Zoom link\n\nABSTRACT:\n\nThis talk will describe a method of solving comb
 inatorial problems by\ncoupling Boolean satisfiability (SAT) solvers with 
 computer algebra\nsystems (CASs)\, thereby combining the search and learni
 ng power of SAT\nsolvers with the expressiveness and mathematical sophisti
 cation of\nCASs. 
DTSTAMP:20260416T221640Z
END:VEVENT
END:VCALENDAR