11:15 to 12:15
Seminar

Probabilistic Relational Logic and Its Applications to Cryptography

Benjamin Grégoire
Program Equivalencies
11:15 to 12:15
    Mireille-Delmas-Marty Amphitheater, Marcelin-Berthelot Site
    Open to all, subject to availability
    -

    Speaker(s)

    Benjamin Grégoire

    Inria

    Events

    Program Equivalencies (1)
    Xavier Leroy

    Lecture
    09:30 to 11:00

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

    Seminar
    11:15 to 12:15

    Denotational Approaches and Full Abstraction
    Xavier Leroy

    Lecture
    09:30 to 11:00

    Interaction Equivalence
    Adrienne Lancelot

    Seminar
    11:15 to 12:15

    Bisimulations 1
    Xavier Leroy

    Lecture
    09:30 to 11:00

    Semantics of Programming Language Games
    Pierre Clairambault

    Seminar
    11:15 to 12:15

    Bisimulations 2
    Xavier Leroy

    Lecture
    09:30 to 11:00

    Fixed-Point Theorems and Coinduction Without Coinduction
    Damien Pous

    Seminar
    11:15 to 12:15

    Program Equivalencies (5)
    Xavier Leroy

    Lecture
    09:30 to 11:00

    Probabilistic Relational Logic and Its Applications to Cryptography
    Benjamin Grégoire

    Seminar
    11:15 to 12:15

    Program Equivalencies (6)
    Xavier Leroy

    Lecture
    09:30 to 11:00

    The Semantics of Dynamic Allocation: From Fresh Names to Bundles
    Guilhème Jaber

    Seminar
    11:15 to 12:15

    Relational Program Logic
    Xavier Leroy

    Lecture
    09:30 to 11:00

    Program Equivalencies (7)
    Xavier Leroy

    Seminar
    11:15 to 12:15

    See also

    Lecture related to the seminar: Program Equivalencies
    Xavier Leroy, chair Software Science
    Program Equivalencies