• Colloquium by Hugo Gimbert (LaBRI)
• Motion votée par le Conseil Scientifique du LIP6 à propos de l’augmentation des frais de scolarité pour les étudiants non communautaires
• Donation of $100,000.00 from Oracle to Gilles Muller Whisper team at LIP6
• «Ce matin, maman a été téléchargée»

Le LIP6 organise

• 28/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
• 12/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 - http://webia.lip6.fr/~dapa/web/?q=semina...
• 15/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 - https://wrach2019.lip6.fr/index.html