Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil > Séminaires > Séminaires et Groupes de travail hebdomadaires > Logique et Interactions

Séminaire Logique et Interactions

par Lozingot Eric, Vaux Lionel - publié le , mis à jour le

Agenda

Séminaire

  • Jeudi 21 décembre 11:00-12:30 - Clovis EBERHART - LAMA, Université Savoie Mont Blanc

    Une théorie des modèles de jeux

    Résumé : Un aspect attractif de la sémantique des jeux réside dans la simplicité et l’évidence des définitions qu’elle emploie, mais aussi dans les différentes variations qui existent de ces définitions, et qui amènent à des modèles de différents langages de programmation. 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 des outils pour uniformiser ces techniques de preuve. Dans cet exposé, nous présenterons un travail qui va dans ce sens, en développant la notion de "cadre de jeux" et en montrant comment, à partir de tout cadre de jeux, on obtient une catégorie de jeux et stratégies. On traitera ensuite la notion d’innocence pour montrer que les stratégies innocentes forment 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 faisceautique de Tsukada et Ong.

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud - Bâtiment TPR2
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

    Exporter cet événement

  • Jeudi 11 janvier 2018 11:00-12:30 - Michael PUSCHNIGG - I2M, Aix-Marseille Université

    Toute algèbre à division sur les réels est de dimension 1, 2, 4 ou 8

    Résumé : TBA

    JPEG - 9.5 ko
    Michael PUSCHNIGG

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud - Bâtiment TPR2
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

    Exporter cet événement

  • Jeudi 18 janvier 2018 11:00-12:30 - Hadrien BATMALLE - IRIF, Paris 7

    Séminaire Logique et Interactions (TBA)

    Résumé : TBA

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud - Bâtiment TPR2
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

    Exporter cet événement

  • Jeudi 15 février 2018 11:00-12:30 - Giulio MANZONETTO - LIPN, Paris 13

    Séminaire Logique et Interactions (TBA)

    Résumé : TBA

    JPEG - 5.9 ko
    Giulio MANZONETTO

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud - Bâtiment TPR2
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

    Exporter cet événement

groupe de travail

Manifestation scientifique

Descriptif
Nature Séminaire et Groupe de travail
Intitulé Logique et interactions
Responsable Lionel Vaux
Équipe de rattachement Logique de la Programmation (LDP) du Groupe Arithmétique Géométrie Logique et Représentations (AGLR, ex-LUM)
Fréquence 1 à 2 séances par mois
Jour-Horaire Jeudi. 11h-12h30
Lieu Luminy, salle des séminaires 304-306 (accès)
Lien http://iml.univ-mrs.fr/ldp/seminaire/

Contact : lionel.vaux_AT_univ-amu.fr