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 28 février 11:00-12:30 - Claudia FAGGIAN - IRIF, Paris 7

    Lambda Calculus and Probabilistic Computation

    Résumé : In order to model higher-order probabilistic computation, a natural approach is to take the lambda calculus as a paradigm, and to enrich it with an operator which models probabilistic choice. The resulting calculus is however not confluent ; such an issue is typically handled in the literature by fixing a deterministic reduction strategy.
    Following [Plotkin75], we wish to preserve the key distinction between a calculus and a programming language. The former defines terms and reduction rules, and satisfy confluence, the latter is specified by a deterministic strategy (an abstract machine). Standardization is what relates the two : the programming language implements the standard strategy associated to the calculus. We propose two probabilistic lambda calculi, based respectively on the call-by-value and call-by-name parameter passing mechanism. The common root of the two calculi is a further calculus based on Linear Logic, which allows us to develop a unified, modular approach.
    (joint work with Simona Ronchi Della Rocca)

    JPEG - 13.7 ko
    Claudia FAGGIAN

    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 7 mars 11:00-12:30 - Lionel VAUX AUCLAIR - I2M, Aix-Marseille Université

    Combinatoire de l’élimination des coupures de MLL, et une application au développement de Taylor de MELL

    Résumé : TBA

    JPEG - 10 ko
    Lionel VAUX

    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 21 mars 11:00-12:30 - Luigi SANTOCANALE - LIS, Aix-Marseille Université

    Quantales MIX *-autonomes et l’ordre faible continu

    Résumé : L’ensemble des permutations sur une ensemble fini possède la structure de treillis connue comme l’ordre faible de Bruhat. Cette structure s’étend aux mots sur un alphabet fini Σ = x, y, z, . . . tels que chaque lettre a un nombre fixé d’occurrences. Ces treillis sont connus comme "treillis multinomiaux" et, quand card(Σ) = 2, comme "treillis de chemins dans le réseau" (lattices of lattice path). Si on interprète les lettres x, y, z, . . . comme des axes, ces mots peuvent se voir comme des chemins discrets sur une grille dans un cube de dimension d = card(Σ).
    -
    Dans cet exposé j’expliquerai comment étendre cet ordre aux (images des) chemins continus croissants de l’intervalle [0,1] vers le cube [0,1]^d (qui préservent les extrémités 0 et 1). On obtient ainsi un treillis noté L_d([0,1]) ; l’outil clé de cette construction est le quantal (ou treillis résidué involutif) L_∨([0,1]) des fonctions sup-continues (cad, croissantes continue à gauche) de l’intervalle [0,1] vers lui même. Il s’agit d’un quantal (treillis résidué) cyclique *-autonome (involutif), qui satisfait la règle MIX.
    -
    Nous exposerons la structure des treillis L_d([0,1]) : ils sont auto-duaux, engendrés par sups par les éléments sup-irréductibles, il ne possèdent pas des éléments complétement sup-irréductibles. Quand d = 2, L_d([0,1]) = L_∨([0,1]) est la complétion de Dedekind-MacNeille des chemins discrets avec sauts rationnels. Quand d ≥ 3, cette propriété n’est plus vraie, mais chaque élément de L_d([0,1]) est un sup d’infs des chemins avec sauts rationnels.

    JPEG - 12.1 ko
    Luigi SANTOCANALE

    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 28 mars 11:00-12:30 - Thomas STREICHER - TU Darmstadt

    Simplicial into cubical

    Résumé : TBA

    JPEG - 8.9 ko
    Thomas STREICHER

    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 2 mai 11:00-12:30 - Marie KERJEAN - Gallinette team, INRIA Nantes

    Séminaire Logique et Interactions (TBA)

    Résumé : TBA

    JPEG - 3.9 ko
    Marie KERJEAN

    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