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:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20231105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a02dd61dc484
DTSTART;TZID=America/Toronto:20240403T153000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20240403T170000
URL:https://uwaterloo.ca/pure-mathematics/events/joint-mcmasterwaterloo-mod
 el-theory-learning-seminar
SUMMARY:Joint McMaster/Waterloo Model Theory Learning Seminar
CLASS:PUBLIC
DESCRIPTION:LAINDON BURNETT\, DEPARTMENT OF PURE MATHEMATICS\, UNIVERSITY O
 F\nWATERLOO\n\n\"STURMIAN SEQUENCE DECIDABILITY DOES NOT GENERALIZE\"\n\nI
 n 2022\, it was shown that much like Presburger arithmetic itself\,\nPresb
 urger arithmetic along with a Sturmian sequence is a decidable\ntheory. We
  give an overview of Konieczny's 2024 proof that this does\nnot extend to 
 generalized polynomials\, themselves a generalization of\nSturmian sequenc
 es.\n\nMC 5479
DTSTAMP:20260512T075721Z
END:VEVENT
END:VCALENDAR