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:7337@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20180405T110000
DTEND;TZID=Europe/Paris:20180405T123000
DTSTAMP:20241120T203916Z
URL:https://www.i2m.univ-amu.fr/evenements/completeness-for-identity-free-
 kleene-lattices/
SUMMARY:Amina Doumane (IRIF\, Université de Paris): Completeness for ident
 ity-free Kleene lattices
DESCRIPTION:Amina Doumane: We provide a finite set of axioms for identity-f
 ree Kleene lattices\, which we prove sound and complete for the equational
  theory of their relational models. This equational theory was previously 
 proved to coincide with that of language models and to be ExpSpace- comple
 te\; expressions of the corresponding syntax moreover make it possible to 
 denote precisely those languages of graphs that can be accepted by Petri a
 utomata. Finite axiomatisability was missing to obtain the same picture as
  for Kleene algebra\, regular expressions\, and (word) automata.\nOur proo
 f builds on the completeness theorem for Kleene algebra\, and on a novel a
 utomata construction that makes it possible to extract axiomatic proofs us
 ing a Kleene-like algorithm.\n\nhttp://www.irif.fr/~doumane/
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Amina_Doumane.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20180325T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR