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:6330@i2m.univ-amu.fr DTSTART;TZID=Europe/Paris:20210916T110000 DTEND;TZID=Europe/Paris:20210916T123000 DTSTAMP:20241120T201405Z URL:https://www.i2m.univ-amu.fr/evenements/injectivite-positionnelle-pour- les-strategies-innocentes/ SUMMARY:Lison Blondeau-Patissier (I2M\, Aix-Marseille): Injectivité positi onnelle pour les stratégies innocentes DESCRIPTION:Lison Blondeau-Patissier: Melliès a montré que les stratégie s innocentes étaient positionnelles dans les jeux asynchrones : leur comp ortement dépend de la position\, et pas de l'ordre temporel utilisé pour l'atteindre. Ce résultat nous permet de mieux comprendre les liens entre sémantique dynamique (les jeux) et sémantique statique (le modèle rela tionnel).\nIci nous nous intéressons à la positionnalité des stratégie s innocentes dans le cadre traditionnel des jeux Hyland-Ong-Nickau-Coquand . On peut montrer que les stratégies innocentes ne sont pas positionnelle s\, mais que les stratégies innocentes totales finies sont positionnellem ent injectives\, i.e. qu'elles sont entièrement déterminées par leurs p ositions.\nCet exposé est adapté d'un article écrit avec Pierre Clairam bault.\n \;\n\n \n\n \; 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:20210328T030000 TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST END:DAYLIGHT END:VTIMEZONE END:VCALENDAR