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:8560@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20250422T110000
DTEND;TZID=Europe/Paris:20250422T120000
DTSTAMP:20250414T165341Z
URL:https://www.i2m.univ-amu.fr/evenements/amir/
SUMMARY:Djamel Eddine Amir (LISN\, Saclay): Minimality and computability of
  languages of G-shifts
DESCRIPTION:Djamel Eddine Amir: Motivated by the notion of strong computabl
 e type for sets in computable analysis\, we define the notion of strong co
 mputable type for G-shifts\, where G is a finitely generated group with de
 cidable word problem. A G-shift has strong computable type if one can comp
 ute its language from the complement of its language.\n\nSimilarly to the 
 case of sets\, we obtain a characterization of G-shifts with strong comput
 able type in terms of a notion of minimality with respect to properties wi
 th a low bounded complexity. We show that it can be induced by the result 
 for sets. We apply this characterization to several classes of shifts that
  are minimal with respect to specific properties.\n\nThis provides a unify
 ing approach that not only generalizes many existing results but also has 
 the potential to yield new findings effortlessly. In contrast to the case 
 of sets\, we prove that strong computable type for G-shifts is preserved u
 nder products. We conclude by discussing some generalizations and future d
 irections.\n\nThis is a joint work with Benjamin Hellouin de Menibus.
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:DAYLIGHT
DTSTART:20250330T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR