11:15 à 12:15
Séminaire

Logique relationnelle probabiliste et ses applications à la cryptographie

Benjamin Grégoire
Équivalences de programmes
11:15 à 12:15
    Amphithéâtre Mireille-Delmas-Marty, Site Marcelin-Berthelot
    En libre accès, dans la limite des places disponibles
    -

    Intervenant(s)

    Benjamin Grégoire

    Inria

    Événements

    Introduction à l'équivalence et au raffinement entre programmes
    Xavier Leroy

    Cours
    09:30 à 11:00

    Concurrency Theory: From Its Origins Towards a Science of Processes
    Davide Sangiorgi

    Séminaire
    11:15 à 12:15

    Approches dénotationnelles et full abstraction
    Xavier Leroy

    Cours
    09:30 à 11:00

    L'équivalence d'interaction
    Adrienne Lancelot

    Séminaire
    11:15 à 12:15

    Bisimulations 1
    Xavier Leroy

    Cours
    09:30 à 11:00

    Sémantiques de jeux des langages de programmation
    Pierre Clairambault

    Séminaire
    11:15 à 12:15

    Bisimulations 2
    Xavier Leroy

    Cours
    09:30 à 11:00

    Théorèmes de point fixe et coinduction sans coinduction
    Damien Pous

    Séminaire
    11:15 à 12:15

    Relations logiques 1
    Xavier Leroy

    Cours
    09:30 à 11:00

    Logique relationnelle probabiliste et ses applications à la cryptographie
    Benjamin Grégoire

    Séminaire
    11:15 à 12:15

    Relations logiques 2
    Xavier Leroy

    Cours
    09:30 à 11:00

    La sémantique de l'allocation dynamique : des noms frais aux faisceaux
    Guilhème Jaber

    Séminaire
    11:15 à 12:15

    Logiques de programmes relationnelles
    Xavier Leroy

    Cours
    09:30 à 11:00

    Équivalences de programmes (7)
    Xavier Leroy

    Séminaire
    11:15 à 12:15

    Voir aussi

    Cours en relation avec le séminaire : Équivalences de programmes
    Xavier Leroy, chaire Sciences du logiciel
    Équivalences de programmes