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:552@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20150122T110000
DTEND;TZID=Europe/Paris:20150122T120000
DTSTAMP:20150107T100000Z
URL:https://www.i2m.univ-amu.fr/evenements/langages-definissables-en-logiq
 ue-du-second-ordre-monadique/
SUMMARY: (...): Langages définissables en logique du second ordre monadiqu
 e
DESCRIPTION:: Cet exposé a pour but de présenter les liens entre Logique 
 et Automates. Je commencerai par présenter les résultats "historiques" d
 e Büchi et Rabin sur les équivalences entre logique du Second Ordre Mona
 dique et Automates finis de mots et d'arbres\, puis présenterai des résu
 ltats plus récents sur les automates à pile et automates à pile d'ordre
  supérieur.[http://pageperso.lif.univ-mrs.fr/~severine.fratani/]
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20141026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR