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:5323@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20240926T110000
DTEND;TZID=Europe/Paris:20240926T123000
DTSTAMP:20240919T113115Z
URL:https://www.i2m.univ-amu.fr/evenements/tba-153/
SUMMARY:Pierre Clairambault (LIS\, Aix-Marseille): Morphismes cartésiens e
 n jeux concurrents
DESCRIPTION:Pierre Clairambault: On comprend désormais bien comment relier
  les jeux aux modèles quantitatifs\ntels que le modèle relationnel: il s
 uffit d'"oublier le temps" ou la\ncausalité\, et se contenter de se souve
 nir de certaines positions\, considérées\n"complètes"\, qui sont attein
 tes par une stratégie.\n\nLa situation est pour le moment beaucoup moins 
 claire pour ce qui est des\nmodèles "qualitatifs"\, tels que les domaines
  de Scott. Dans son article sur le\ncollapse extensionnel reliant le modè
 le relationnel et le modèle de Scott\nlinéaire\, Ehrhard adopte une pré
 sentation du modèle de Scott linéaire\ncompatible avec le modèle relati
 onnel. Dans cette formulation\, il apparaît que\nla différence clé entr
 e le modèle relationnel et le modèle de Scott linéaire\nest la compatib
 ilité avec un préordre qui permet la contraction et\nl'affaiblissement d
 e ressources.\n\nDans cet exposé\, je présenterai un travail en cours de
  rédaction sur\nl'écrasement "qualitatif" des jeux concurrents\, vers le
  modèle de Scott\nlinéaire. Je montrerai que cela demande de remplacer l
 es groupoïdes\napparaissant via les symétries en jeux concurrents\, par 
 des catégories munies\nde morphismes *cartésiens*\, qui autorisent la co
 ntraction et l'affaiblissement\ndes ressources. La fonctorialité de l'éc
 rasement qualitatif revient alors à un\nlemme un peu subtil sur la synchr
 onisation des stratégies (innocentes) à\nmorphisme cartésien près: deu
 x stratégies se dupliquant mutuellement\nparviennent à s'entendre en un 
 temps fini.\n\nIl découle de tout ça une preuve de jeux du théorème de
  collapse extensionnel\,\nmettant un peu plus l'accent sur son contenu com
 binatoire\, et que j'espère\npouvoir généraliser dans diverses directio
 ns.
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:I2M Luminy - TPR2\, Salle de Séminaire 304-306 (3ème étage)\, 1
 63 Avenue de Luminy\, Marseille\, 13009\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, Mars
 eille\, 13009\, France;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - TPR2\, Sall
 e de Séminaire 304-306 (3ème étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20240331T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR