BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:8811@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20260403T110000
DTEND;TZID=Europe/Paris:20260403T120000
DTSTAMP:20260402T132448Z
URL:https://www.i2m.univ-amu.fr/evenements/rauzy-2026-04-03/
SUMMARY:Ivan MITROFANOV (Université de Genève (Confédération helvétiqu
 e)): Decidability of the s-adic subshifts
DESCRIPTION:Ivan MITROFANOV: Take the s-adic subshift X generated by a fami
 ly of Pisot substitutions sharing the same incidence matrix\, together wit
 h the set Z of integer numbers. If we view X \\cup Z as a first-order stru
 cture in the signature consisting of: predicates for “being in X​” a
 nd “being in Z”\, addition and order on Z\, distinguished elements 0 a
 nd 1 of Z\, the shift action of Z on X​\, the fixed points of substituti
 ons\, and the usual prefix ultrametric X​\, then in this signature the s
 tructure admits an automatic presentation\, hence its first-order theory i
 s decidable.\n\nThe talk is based on joint work with Laurent Bartholdi
CATEGORIES:Séminaire,Rauzy
LOCATION:Saint-Charles - FRUMAM  (2ème étage)\, 3 Place Victor Hugo\, Mar
 seille\, 13003\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=3 Place Victor Hugo\, Marse
 ille\, 13003\, France;X-APPLE-RADIUS=100;X-TITLE=Saint-Charles - FRUMAM  (
 2ème étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20260329T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR