15:00 à 15:30
Colloque

Systematic Design of Adequately Consistent Distributed Systems?

A. Bouajjani
Taking Stock of Distributed Computing
15:00 à 15:30
    Amphithéâtre Maurice-Halbwachs, Site Marcelin-Berthelot
    En libre accès, dans la limite des places disponibles
    -

    Intervenant(s)

    A. Bouajjani

    Université Paris-Diderot

    Événements

    High Throughput Connectomics
    Nir Shavit

    Colloque
    09:00 à 09:30

    Challenges in Population Protocols
    Janna Burman

    Colloque
    09:30 à 10:00

    There Is Life in 1-Consensus
    Yehuda Afek

    Colloque
    10:00 à 10:30

    Living Without Consensus
    Marc Shapiro

    Colloque
    11:00 à 11:30

    Byzantine Agreement, an Old Problem in a New World
    Valerie King

    Colloque
    11:30 à 12:00

    Are Blockchains a Challenge for Distributed Computing?
    M. Potop-Butucaru

    Colloque
    12:00 à 12:30

    Deus ex machina: A Deus-Object: Approving Genuine Imitation of Itself
    E. Gafni

    Colloque
    14:00 à 14:30

    25 Years of Topological Perspective on Distributed Computing
    Sergio Rajsbaum

    Colloque
    14:30 à 15:00

    Systematic Design of Adequately Consistent Distributed Systems?
    A. Bouajjani

    Colloque
    15:00 à 15:30

    Distributed Network Computing
    P. Fraignaud

    Colloque
    16:00 à 16:30

    New Models for Distributed Computing
    Gadi Taubenfeld

    Colloque
    16:30 à 17:00

    Thoughts on Informatics and Distributed Computing
    M. Raynal

    Colloque
    17:00 à 18:00

    Voir aussi

    Rachid Guerraoui, chaire Informatique et sciences numériques
    Taking Stock of Distributed Computing