09:30 to 11:00
Lecture

Bisimulations 1

Xavier Leroy
Program Equivalencies
09:30 to 11:00
    Salle 5, Site Marcelin Berthelot
    Open to all, subject to availability
    -

    Speaker(s)

    Xavier Leroy

    Professor at the Collège de France

    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 Beams
    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

    Seminar related to the lecture: Program Equivalencies
    Xavier Leroy, chair Software Science
    Program Equivalencies