BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241015T100000
DTEND;TZID=Europe/Paris:20241015T110000
DTSTAMP:20260503T050645
CREATED:20241003T130917Z
LAST-MODIFIED:20241003T130917Z
UID:11660-1728986400-1728990000@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Classes de sous-shifts définis par des formules logiques »\, Rémi Pallen (ENS Paris Saclay)
DESCRIPTION:Une configuration est un coloriage du plan Z². Habituellement\, les ensembles de configurations étudiés sont ceux définis par un ensemble de motifs “interdits” n’apparaissant dans aucune des configurations de l’ensemble. De tels ensembles sont appelés sous-shifts. Dans ce séminaire\, on définit les ensembles de configurations grâce à la logique Monadique du Second Ordre (MSO)\, et on s’intéressera à la complexité de savoir si une formule MSO définit un sous-shift. On s’intéressera également à la complexité de ces ensembles.
URL:https://www.greyc.fr/event/seminaire-algorithmique-classes-de-sous-shifts-definis-par-des-formules-logiques-remi-pallen-ens-paris-saclay/
LOCATION:Sciences 3- S3 351
CATEGORIES:General,News,Séminaire Algo
END:VEVENT
END:VCALENDAR