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:8553@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20250130T110000
DTEND;TZID=Europe/Paris:20250130T123000
DTSTAMP:20250127T152927Z
URL:https://www.i2m.univ-amu.fr/evenements/higher-dimensional-automata-the
 ory/
SUMMARY:Uli Fahrenberg (EPITA Rennes): Higher-Dimensional Automata Theory [
 LSC]
DESCRIPTION:Uli Fahrenberg: Higher-dimensional automata (HDAs) provide a ge
 neral and automata-like\nmodel for non-interleaving concurrency. Some year
 s ago we have set out\nto create a proper automata theory for HDAs. We now
  have a Kleene\ntheorem\, a Myhill-Nerode theorem\, and a Büchi-Elgot-Tra
 khtenbrot\ntheorem\, providing a solid basis for a higher-dimensional auto
 mata\ntheory. In my talk I will start with a gentle introduction to HDAs\,
  show\nhow they relate to Petri nets\, give an overview of what we know ab
 out\nlanguages of HDAs\, and finally talk about applications and future wo
 rk.
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:Luminy - LIS\, salle 04.05\, Campus de Luminy\, Marseille\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Campus de Luminy\, Marseill
 e\, France;X-APPLE-RADIUS=100;X-TITLE=Luminy - LIS\, salle 04.05:geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20241027T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR