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:7418@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20171221T110000
DTEND;TZID=Europe/Paris:20171221T123000
DTSTAMP:20241120T203947Z
URL:https://www.i2m.univ-amu.fr/evenements/une-theorie-des-modeles-de-jeux
 /
SUMMARY:Clovis Eberhart (LAMA\, Université de Savoie): Une théorie des mo
 dèles de jeux
DESCRIPTION:Clovis Eberhart: Un aspect attractif de la sémantique des jeux
  réside dans la simplicité et l'évidence des définitions qu'elle emplo
 ie\, mais aussi dans les différentes variations qui existent de ces défi
 nitions\, et qui amènent à des modèles de différents langages de progr
 ammation. On peut remarquer une similarité entre toutes les techniques de
  preuve mises en place dans les différentes variations de la sémantique 
 des jeux HO (par exemple\, le zipping lemma). Il semble donc naturel de d
 éfinir un cadre qui engloberait toutes ces variations et de développer d
 es outils pour uniformiser ces techniques de preuve. Dans cet exposé\, no
 us présenterons un travail qui va dans ce sens\, en développant la notio
 n de "cadre de jeux" et en montrant comment\, à partir de tout cadre de j
 eux\, on obtient une catégorie de jeux et stratégies. On traitera ensuit
 e la notion d'innocence pour montrer que les stratégies innocentes formen
 t une sous-catégorie de celle des stratégies. On montrera aussi comment 
 ce cadre s'adapte aussi bien aux modèles initiaux qu'au récent modèle f
 aisceautique de Tsukada et Ong.\n\n
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20171029T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR