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:5993@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20220707T110000
DTEND;TZID=Europe/Paris:20220707T123000
DTSTAMP:20241120T200714Z
URL:https://www.i2m.univ-amu.fr/evenements/jeux-concurrents-et-jeux-de-gab
 arits/
SUMMARY:Victor Blanchi (ÉNS PSL\, Paris & I2M\, Aix-Marseille): Jeux concu
 rrents et jeux de gabarits
DESCRIPTION:Victor Blanchi: La sémantique des jeux permet de modéliser fi
 nement un langage de programmation en s'intéressant à l'interaction entr
 e un programme et son environnement. Ce champ regroupe un grand nombre de 
 modèles: les jeux HO\, les jeux simples\, les jeux AJM\, … Toutes ces c
 onstructions reposent sur des notions similaires\, mais diffèrent dans le
 s détails.\nCes dernières années\, un effort d'unification a été réa
 lisé avec entre autres le modèle des jeux de gabarit de Paul-André Mell
 iès. Il permet de simuler les autres sémantiques des jeux via un gabarit
  bien choisi. Mais cette première version ne simulait pas convenablement 
 les jeux concurrents\, car elle ne parvenait pas à capturer un phénomèn
 e primordial lors de la composition: les deadlocks. Cela donna lieu à une
  seconde version prenant en compte ce phénomène.\nCette seconde version 
 peut-elle correctement simuler la catégorie des jeux concurrents ? Dans c
 ette présentation je rendrai compte de mes travaux de stage\, visant à c
 omprendre les liens précis entre jeux de gabarit et jeux concurrents.
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:DAYLIGHT
DTSTART:20220327T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR