Institut de Mathématiques de Marseille, UMR 7373


Accueil >

23 mai 2019: 1 événement


  • Séminaire Logique et Interactions

    Jeudi 23 mai 11:00-12:30 - Aurore ALCOLEI - LIP, ÉNS Lyon & Computer Laboratory, Cambridge

    Concurrent Games with side-information

    Résumé : Game semantics is an interactive denotational semantics : a denotation specifies the behaviour of a term/proof with respect to its environment. As such it is one of the most intensional model available in the Curry-Howard community.
    Despite their intensional persprective, game models still omit a number of computational informations by hiding away internal reductions. This power of abstraction is at the core of the methodology of denotational semantics in that it aims to provide invariants under reduction. Yet, in some cases, this abstraction is too strong and prevents to capture some desirable informations.
    In this talk, I will present how the model of concurrent game and strategies on event structures can be naturally extended with annotations from any (in)equational theory to keep track of side-information, that is information that may vary with interactions but does not influence their outcomes.
    Depending on time and audience’s interest, I will present this construction through two independent results : on the logic side I will show how this model instantiated with terms can be used to give a new interpretation and proof of the Herbrand’s theorem ; on the programming side I will introduce a semantics for R-IPA, a concurrent programming language with shared memory and an operational semantics keeping track of resource consumption, based on an instantiation of that same model with annotations being functions over reals.

    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

En savoir plus : Séminaire Logique et Interactions

23 mai 2019: 1 événement

  • Agenda des instances I2M

    Jeudi 23 mai 14:00-16:30 -

    Conseil de Laboratoire

    Résumé : Ordre du jour à définir.

    Lieu : FRUMAM - Salle de séminaires (2ème étage) - Aix-Marseille Université - Site St Charles
    3, place Victor Hugo - case 39
    13331 MARSEILLE Cedex 03

    Exporter cet événement

En savoir plus : Agenda des instances I2M