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:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20241103T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69d1ea2f9434d
DTSTART;TZID=America/Toronto:20250613T153000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20250613T163000
URL:https://uwaterloo.ca/combinatorics-and-optimization/events/tutte-colloq
 uium-rose-mccarty
SUMMARY:Tutte colloquium-Rose McCarty
CLASS:PUBLIC
DESCRIPTION:TITLE:The first-order logic of graphs\n\nSPEAKER:\n  Rose McCa
 rty\n\nAFFILIATION:\n Georgia Institute of Technology\n\nLOCATION:\n MC 55
 01\n\nABSTRACT:Over the last ten years\, many wonderful connections have b
 een\nestablished between structural graph theory\, computational complexit
 y\,\nand finite model theory. We give an overview of this area\, focusing 
 on\nrecent progress towards understanding the \"stable\" case. We do not\n
 assume any familiarity with first-order logic\n\n 
DTSTAMP:20260405T045055Z
END:VEVENT
END:VCALENDAR