Aller au contenu principal
  • Français fr
  • English en
  • Suivez-nous !
  • X
Accueil

Laboratoire d'Informatique de Grenoble

Rechercher

Navigation principale

  • Présentation
  • La recherche
  • Produits de la recherche
  • Annuaire du LIG

Navigation principale mobile

Rechercher
  • Français fr
  • English en
  • Déplier Présentation
    • Direction et responsables
    • Equipes support
    • Commissions
    • Organigramme
    • Toute l'actualité
    • Animation scientifique
    • Travailler au LIG
    • Se rendre au LIG
  • Déplier La recherche
    • Axes de recherche
    • Equipes de recherche
    • Soutien à la recherche
    • Plateformes
    • Partenariats de R & D
  • Déplier Produits de la recherche
    • Publications
    • Thèses et HDR
    • Travaux scientifiques
  • Déplier Annuaire du LIG
    • Chercheurs(euses) et Enseignants(es)- chercheurs(euses)
    • Equipes de recherche
    • Support et soutien à la recherche
    • Chargés de mission

Que recherchez-vous ?

Fil d'Ariane

  • Accueil

Navigation principale Sidebar

  • Déplier Présentation
    • Direction et responsables
    • Equipes support
    • Commissions
    • Organigramme
    • Toute l'actualité
    • Animation scientifique
    • Travailler au LIG
    • Se rendre au LIG
  • Déplier La recherche
    • Axes de recherche
    • Equipes de recherche
    • Soutien à la recherche
    • Plateformes
    • Partenariats de R & D
  • Déplier Produits de la recherche
    • Publications
    • Thèses et HDR
    • Travaux scientifiques
  • Déplier Annuaire du LIG
    • Chercheurs(euses) et Enseignants(es)- chercheurs(euses)
    • Equipes de recherche
    • Support et soutien à la recherche
    • Chargés de mission

Mnacho Echenim

  • Imprimer
  • Partager
  • Partager sur Facebook
  • Share on X
  • Partager sur LinkedIn

Séminaire

Le 28 avril 2021

A distance

Projective Measurements and the CHSH inequality with Isabelle/HOL

En savoir plus



 

Date

Le 28 avril 2021
Complément date

à 14h00

Localisation

A distance

Complément lieu

https://univ-grenoble-alpes-fr.zoom.us/j/94612751658?pwd=bHgzVFYra29sYlA5Vlp1MzVuT1pEQT09

  • Imprimer
  • Partager
  • Partager sur Facebook
  • Share on X
  • Partager sur LinkedIn

Publié le 16 avril 2021

Mis à jour le 16 avril 2021

Université Grenoble Alpes
Grenoble INP
CNRS
Inria

Laboratoire d'Informatique de Grenoble
UMR 5217

Adresse physique :
Bâtiment IMAG - 150 place du Torrent
Domaine universitaire
38401 Saint Martin d'Hères

Adresse postale :
CS 40700 - 38058 Grenoble Cedex 9

Menu footer

  • Contact
  • Plan du site
  • Crédits
  • Mentions légales
  • Données personnelles
  • Gestion des cookies
  • Accessibilité : non conforme
  • Intranet
  • Se connecter
  • Suivez-nous !
  • X