Le LIP6 organise

  • Ajouter à votre agenda28/03/2019 - An abstract domain for trees with numeric relations
    Horaire : 15h
    Intervenant(s) : Matthieu Journault (LIP6 - APR)
    We will present the definition of an abstract domain able to infer invariants on programs manipulating trees. Trees are defined over a finite alphabet and can contain unbounded numeric values at their leaves. The domain can infer the possible shapes of the tree values of each var...
    Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
  • Ajouter à votre agenda12/04/2019 - On quantum probability for decision analysis
    Horaire : 14h30
    Intervenant(s) : Hung. T Nguyen (NMSU (USA))
    In view of current efforts on promoting the appropriate use of quantum probability (QP), mainly because of its non-commutativity property, in social decision problems, I will entertain the audience with an overview of its state-of-the-art. Specifically, I will elaborate upon QP a...
    LIP6, salle 405 (4ème étage), couloir 24-25, 4 place Jussieu, 75005 Paris -
  • Ajouter à votre agenda15/04/2019 - Workshop on Randomness and Arithmetics for Cryptography on Hardware
    The workshop is dedicated to low-level arithmetics and the use of randomness in cryptographic settings, in particular for hardware implementation.

    Roscoff -
 Mentions légales
Carte du site |