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:6360@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20210624T103000
DTEND;TZID=Europe/Paris:20210624T113000
DTSTAMP:20241120T201411Z
URL:https://www.i2m.univ-amu.fr/evenements/the-concurrent-games-abstract-m
 achine/
SUMMARY:Pierre Clairambault (LIP\, ÉNS Lyon): The concurrent games abstrac
 t machine
DESCRIPTION:Pierre Clairambault:  In this talk\, I will introduce the concu
 rrent games abstract machine: a multi-token machine for Idealized Parallel
  Algol (IPA)\, a higher-order concurrent programming language with shared 
 state and semaphores. The abstract machine takes the shape of a compositio
 nal interpretation of terms as "Petri structures"\, certain coloured Petri
  nets.\nFor the purely functional fragment\, the machine is conceptually c
 lose to Geometry of Interaction token machines\, originating from Linear L
 ogic and presenting higher-order computation as the low-level process of a
  token walking through a graph (a proof net) representing the term. This i
 s paired here with folklore ideas on the representation of first-order imp
 erative concurrent programs as coloured Petri nets.\n\nTo prove our machin
 e correct\, we follow game semantics and represent types as certain games 
 specifying dependencies and conflict between computational events. We defi
 ne Petri strategies as those Petri structures obeying the rules of the gam
 e. In turn\, we show how Petri strategies unfold to concurrent strategies 
 in the sense of concurrent games on event structures. This not only entail
 s correctness and adequacy of our machine\, but also lets us generate oper
 ationally a causal description of the behaviour of programs at higher-orde
 r types.\n\nThis is (almost finished) joint work with Simon Castellan.\n\n
 https://arxiv.org/abs/2103.15453\n\n&nbsp\;
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Pierre_Clairambault.jpg
CATEGORIES:Séminaire,Logique et Interactions,Virtual event
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20210328T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR