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:5822@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20221215T110000
DTEND;TZID=Europe/Paris:20221215T123000
DTSTAMP:20241120T200227Z
URL:https://www.i2m.univ-amu.fr/evenements/a-linear-monadic-second-order-l
 ogic-over-omega-words/
SUMMARY:Colin Riba (LIP\, ÉNS Lyon): A linear monadic second-order logic o
 ver omega-words
DESCRIPTION:Colin Riba: (j.w.w. P. Pradic)\n\nWe present LMSO\, a linear lo
 gic-based variant of MSO over omega-words. LMSO can be seen as a logical s
 yntax for a Curry-Howard-Lambek-like approach to automata\, in which the l
 atter are seen as objects and their runs (turned into appropriate simulati
 on games) are morphisms. The specific design of these morphisms is motivat
 ed by two properties:  (1) the extraction of existential witnesses in the
  positive (i.e. non-deterministic) case\, and (2) a closed structure (i.e.
 \, given automata A and B\, there is an automaton A -o B whose runs are ex
 actly the morphisms from A to B). The resulting setting has inherent linea
 rity constraints\, which are reflected in the language and deduction rules
  of LMSO. Furthermore\, we can give a syntactic characterization of those 
 forall-exists sentences of LMSO which admit causal realizers (in the sense
  of Church's synthesis). This relies on a form linear-causal choice which\
 , via a complete axiomatization of MSO on omega-words\, makes LMSO a compl
 ete linear logic with quantifiers. This theory is non-standard (i.e classi
 cally wrong) but consistent and with a meaningful computational interpreta
 tion.
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 015/10/Colin_Riba.jpg
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:I2M Luminy - Ancienne BU\, Salle Séminaire2 (RdC)\, 163 Avenue de
  Luminy\, 13009 Marseille\, France\, 
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, 1300
 9 Marseille\, France\, ;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - Ancienne B
 U\, Salle Séminaire2 (RdC):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20221030T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR