BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//labri.fr//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:2b3141fe-2509-4184-8820-66fdfad515fe
X-WR-CALNAME:Soutenance de thèse Antonio Casares - Propriétés structurelles
  des automates sur les mots infinis et mémoire pour les jeux
X-WR-TIMEZONE:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
TZUNTIL:20251026T010000Z
BEGIN:STANDARD
TZNAME:CET
DTSTART:20231029T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RDATE:20241027T030000
END:STANDARD
BEGIN:DAYLIGHT
TZNAME:CEST
DTSTART:20230326T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RDATE:20240331T020000
RDATE:20250330T020000
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:2b3141fe-2509-4184-8820-66fdfad515fe
DTSTAMP:20260404T120311Z
CLASS:PUBLIC
DESCRIPTION:Les automates et les jeux à durée infinie constituent l’un des 
 outils fondamentaux pour la vérification et la synthèse de systèmes réacti
 fs. Contrairement au cas des langages réguliers sur les mots finis\, plusi
 eurs modèles d’automates existent\, et de nombreuses questions sur leur st
 ructure et sur les langages qu’ils reconnaissent restent ouvertes. Dans ce
 tte thèse\, nous étudions des transformations entre différents types d’aut
 omates sur les mots infinis\, le problème de la minimisation\, et le lien 
 entre la structure de ces automates et la complexité des stratégies nécess
 aires pour gagner des jeux sur des graphes avec condition de gain omega-ré
 gulière
DTSTART;TZID=Europe/Paris:20231123T133000
DTEND;TZID=Europe/Paris:20231123T163000
LOCATION:Grand Amphi du LaBRI -  https://u-bordeaux-fr.zoom.us/j/8276676256
 0?pwd=NG5NUWRhbkNVTmlEUjMxajZWOFppdz09
SEQUENCE:0
SUMMARY:Soutenance de thèse Antonio Casares - Propriétés structurelles des 
 automates sur les mots infinis et mémoire pour les jeux
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR
