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:20180311T070000 END:DAYLIGHT BEGIN:STANDARD TZNAME:EST TZOFFSETFROM:-0400 TZOFFSETTO:-0500 DTSTART:20171105T060000 END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:6872d27033b5c DTSTART;TZID=America/Toronto:20180405T120000 SEQUENCE:0 TRANSP:TRANSPARENT DTEND;TZID=America/Toronto:20180405T120000 URL:/computer-science/events/phd-seminar-software-engin eering-combining-sat-solvers SUMMARY:PhD Seminar • Software Engineering — Combining SAT Solvers with \nComputer Algebra Systems to Verify Combinatorial Conjectures CLASS:PUBLIC DESCRIPTION:Summary \n\nEDWARD ZULKOSKI\, PHD CANDIDATE\n_David R. Cheriton School of Computer Science_\n DTSTAMP:20250712T212400Z END:VEVENT END:VCALENDAR