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:20241103T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69f929b657f16
DTSTART;TZID=America/Toronto:20241112T153000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20241112T163000
URL:https://uwaterloo.ca/pure-mathematics/events/mcmaster-waterloo-model-th
 eory-seminar-1
SUMMARY:McMaster-Waterloo Model Theory Seminar
CLASS:PUBLIC
DESCRIPTION:CHRIS SCHULZ\, UNIVERSITY OF WATERLOO\n\nToward a characterizat
 ion of k-automatic structures\n\nWe consider structures over Presburger ar
 ithmetic that include\nk-automatic sets\, that is to say\, sets recognized
  by a base-k finite\nautomaton. The question of how many such structures e
 xist up to\ninterdefinability is a complex one\, with a deceptively simple
 \nconjectured answer. We give a proof of this conjecture in the\nrestricte
 d case of expansion by a single unary set\, and we discuss\npotential stra
 tegies for handling the multivariate case. This talk is\nbased on joint wo
 rk with Jason Bell and Alexi Block Gorman.\n\nMC 5403
DTSTAMP:20260504T232022Z
END:VEVENT
END:VCALENDAR