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:5471@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20241203T110000
DTEND;TZID=Europe/Paris:20241203T120000
DTSTAMP:20241028T135938Z
URL:https://www.i2m.univ-amu.fr/evenements/tba-168/
SUMMARY:Pacôme Perrotin (Universidade Presbiteriana Mackenzie\, Brésil): 
 Alternating hierarchy of subshifts defined by nondeterministic plane-walki
 ng automata
DESCRIPTION:Pacôme Perrotin: Plane-walking automata were introduced by Sal
 o & Törma to recognise languages of two-dimensional infinite words (subsh
 ifts)\, the counterpart of 4-way finite automata for two-dimensional finit
 e words. We extend the model to allow for nondeterminism and alternation o
 f quantifiers. We prove that the recognised subshifts form a strict subcla
 ss of sofic subshifts\, and that the classes corresponding to existential 
 and universal nondeterminism are incomparable and both larger that the det
 erministic class. We define a hierarchy of subshifts recognised by plane-w
 alking automata with alternating quantifiers\, which we conjecture to be s
 trict.
CATEGORIES:Séminaire,Ernest
LOCATION:I2M Luminy - TPR2\, Salle de Séminaire 304-306 (3ème étage)\, 1
 63 Avenue de Luminy\, Marseille\, 13009\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, Mars
 eille\, 13009\, France;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - TPR2\, Sall
 e de Séminaire 304-306 (3ème étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20241027T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR