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:20240507T100000
DTEND;TZID=Europe/Paris:20240507T170000
DTSTAMP:20260503T101213
CREATED:20240513T081850Z
LAST-MODIFIED:20240513T081850Z
UID:11511-1715076000-1715101200@www.greyc.fr
SUMMARY:Séminaire Algorithmique « Synthesis for fragments of first-order logic on data words »\, Julien Grange (LACL\, Univ. Paris-Est Créteil)
DESCRIPTION:We carry on the study initiated by Bérard et al.[1] of the reactive synthesis problem for distributed systems with an unbounded number of participants interacting with an uncontrollable environment. Executions of those systems are modeled by data words (i.e. finite or infinite words were positions are labeled by an unbounded alphabet)\, and specifications are given as first-order formulas. \nFirst\, we delineate the border between decidability and undecidability for the fragments introduced by Bérard et al.[1]. We then introduce prefix first-order logic\, a logic that implements a limited kind of order\, and show that this logic has a decidable synthesis problem on data words. \n[1] Bérard Béatrice\, et al. “Parameterized Synthesis for Fragments of First-Order Logic Over Data Words.” FoSSaCS. 2020.
URL:https://www.greyc.fr/event/seminaire-algorithmique-synthesis-for-fragments-of-first-order-logic-on-data-words-julien-grange-lacl-univ-paris-est-creteil/
LOCATION:Salle à déterminer
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
END:VCALENDAR