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:68315c48a6631
DTSTART;TZID=America/Toronto:20220401T153000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20220401T153000
URL:/combinatorics-and-optimization/events/tutte-colloq
 uium-curtis-bright
SUMMARY:Tutte Colloquium - Curtis Bright
CLASS:PUBLIC
DESCRIPTION:Summary \n\nTITLE: SAT Solving with Computer Algebra for Combi
 natorics\n\nSpeaker:\n Curtis Bright\n\nAffiliation:\n University of Winds
 or and Carleton 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 combinatorial problems by\ncoupling Boolean satisfiability (SAT) s
 olvers with computer algebra\nsystems (CASs)\, thereby combining the searc
 h and learning power of SAT\nsolvers with the expressiveness and mathemati
 cal sophistication of\nCASs. \n 
DTSTAMP:20250524T054232Z
END:VEVENT
END:VCALENDAR