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 4 mai 11:00-12:00 - Cyrille CHENAVIER - IRIF, Paris 7

    Opérateurs de réduction et complétion de systèmes de réécriture linéaires

    Résumé : En réécriture, la confluence est une propriété garantissant que lorsque deux réductions sont issues d’un même terme, celles-ci confluent vers un terme commun. Dans cet exposé, on s’intéresse à la propriété de confluence de systèmes de réécriture linéaires décrits par des opérateurs de réduction. Cette description permet d’interpréter en termes de treillis les obstructions à la confluence.
    On en déduit des formulations de la confluence et de la complétion, ainsi qu’une méthode de complétion des systèmes de réécriture linéaires en termes de treillis.

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

    Exporter cet événement

  • Mardi 23 mai 11:00-12:00 - Matteo ACCLAVIO - LMNO, Caen

    Séminaire Logique et Interactions (TBA)

    Résumé : TBA

    JPEG - 6.8 ko
    Matteo ACCLAVIO

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud
    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