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:8930@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20251204T140000
DTEND;TZID=Europe/Paris:20251204T180000
DTSTAMP:20251128T132419Z
URL:https://www.i2m.univ-amu.fr/evenements/jeux-concurrents-a-pointeurs-et
 -calcul-a-ressources/
SUMMARY:Lison Blondeau-Patissier (I2M): Jeux concurrents à pointeurs et ca
 lcul à ressources
DESCRIPTION:Lison Blondeau-Patissier: **Jury :**\n\nGiulio Manzonetto\, Pro
 fesseur des universités\, Université Paris Cité -- Rapporteur\nGuy McCu
 sker\, Professor of Computing\, University of Bath -- Rapporteur\nClaudia 
 Faggian\, Chargée de recherche CNRS\, Université Paris Cité -- Examinat
 rice\nMarie Kerjean\, Chargée de recherche CNRS\, Université Sorbonne Pa
 ris Nord -- Examinatrice\nStefano Guerrini\, Professeur des universités\,
  Université Sorbonne Paris Nord -- Président du jury\nLionel Vaux Auclai
 r\, Maître de conférences\, Aix-Marseille Université -- Directeur de th
 èse\nPierre Clairambault\, Directeur de recherche\, Aix-Marseille Univers
 ité -- Directeur de thèse\n\n**Résumé :**\n\nCette thèse présente le
 s jeux concurrents à pointeurs\, et étudie les liens entre la\nsémantiq
 ue des jeux et le 𝜆-calcul à ressources.\n\nOn s’intéresse tout d
 ’abord aux liens entre sémantique des jeux et modèle relationnel.\nOn 
 commence par introduire un nouveau modèle de jeux\, les jeux concurrents 
 à pointeurs\n(PCG). Ce modèle s’inspire à la fois des jeux HO traditi
 onnels et des jeux concurrents.\nOn établit une bijection entre les augme
 ntations (quotientées par isomorphisme) dans PCG\net les parties (quotien
 tées par homotopie) des stratégies innocentes dans HO.\nCe modèle nous 
 permet d’obtenir un premier résultat d’injectivité positionnelle dan
 s PCG\,\nqui se traduit en un résultat d’injectivité positionnelle pou
 r les stratégies innocentes\,\nfinies et totales dans HO. On montre égal
 ement que les stratégies innocentes partielles\ninfinies ne sont pas posi
 tionnellement injectives.\n\nOn introduit ensuite le calcul à ressources 
 extensionnel\, c’est-à-dire typé de façon à ce\nque les termes en fo
 rme normale soient également en forme 𝜂-longue.\nCes termes sont en bi
 jection avec les classes d’isomorphisme d’augmentations dans PCG.\nOn 
 peut maintenant s’intéresser à l’aspect dynamique de la sémantique.
  On définit une\nopération de composition dans PCG\, et on montre que PC
 G est une catégorie symétrique\nmonoïdale fermée. La correspondance en
 tre PCG et HO s’étend en un foncteur cartésien\nfermé strict.\nPour 
 étudier l’interprétation du calcul à ressources dans PCG\, on cherche
  à exprimer plus\nprécisément sa structure catégorique. Pour cela\, on
  introduit les catégories à ressources\,\ninspirées des catégories dif
 férentielles.\nOn définit l’interprétation du calcul à ressources da
 ns une catégorie à ressources\, et on\nmontre qu’elle est compatible a
 vec la 𝛽-réduction. PCG forme une catégorie à ressources\,\ndans laq
 uelle l’interprétation du calcul à ressources coïncide avec la biject
 ion établie\nprécédemment pour les termes en forme normale.
CATEGORIES:Soutenance de thèse
LOCATION:Saint-Charles - FRUMAM  (2ème étage)\, 3 Place Victor Hugo\, Mar
 seille\, 13003\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=3 Place Victor Hugo\, Marse
 ille\, 13003\, France;X-APPLE-RADIUS=100;X-TITLE=Saint-Charles - FRUMAM  (
 2ème étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20251026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR