Le LIP6 organise
- 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
- 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 - http://webia.lip6.fr/~dapa/web/?q=semina...
- 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 - https://wrach2019.lip6.fr/index.html