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:7772@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20160630T110000
DTEND;TZID=Europe/Paris:20160630T120000
DTSTAMP:20241120T204826Z
URL:https://www.i2m.univ-amu.fr/evenements/une-semantique-des-jeux-paralle
 le-pour-pcf/
SUMMARY:Pierre Clairambault (LIP\, CNRS\, ENS Lyon): Une sémantique des je
 ux parallèle pour PCF
DESCRIPTION:Pierre Clairambault: PCF est le langage paradigmatique pour la 
 programmation séquentielle d'ordre supérieur. Mais bien que séquentiel\
 , étant purement fonctionnel\, son ordre d'évaluation ne peut être obse
 rvé par un environnement pur.\nL'évaluation de termes de PCF peut donc t
 irer parti du parallélisme\, sans changer le résultat final. Cependant\,
  la sémantique des jeux classique de PCF est incompatible avec cette éva
 luation parallèle. Dans un travail commun avec Castellan et Winskel\, nou
 s avons construit une interprétation de PCF plus relachée\, où les stra
 tégies sont des ordres partiels. Malgré ce parallélisme\, notre modèle
  satisfait le même résultat de pleine adéquation que ceux classiques de
  HO et AJM.\n\nDans cet exposé\, je commencerai par présenter une vision
  d'ensemble des différentes étapes du résultat. Ensuite\, je ferai une 
 introduction sur le cadre sémantique que nous utilisons pour interpréter
  les programmes par des structures d'événements. Je décrirai la catégo
 rie compacte fermée des jeux concurrents\, et montrerai comment y dévelo
 pper une version affine parallèle des jeux d'arènes. Si le temps le perm
 et je montrerai comment gérer la réplication\, et décrirai la catégori
 e cartésienne fermée et l'interprétation de PCF.\n\n\n
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
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20160327T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR