English
Quantum formal methods
Virtualconference
Auteurs : Duncan, Ross (Auteur de la conférence)
CIRM (Editeur )
81-01 - Instructional exposition (textbooks, tutorial papers, etc.)
CIRM (Editeur )
Loading the player...
|
Résumé :
Codes MSC : 81-01 - Instructional exposition (textbooks, tutorial papers, etc.)
|
Informations sur la Vidéo
Réalisateur : Hennenfent, GuillaumeLangue : Anglais Date de Publication : 17/06/2021 Date de Captation : 25/05/2021 Sous Collection : Research talks Catégorie arXiv : Computer Science ; Logic Domaine(s) : Informatique ; Logique et Fondements Format : MP4 (.mp4) - HD Durée : 02:56:03 Audience : Chercheurs Download : https://videos.cirm-math.fr/2021-05-25_Duncan.mp4 
|
Informations sur la Rencontre
Nom de la Rencontre : Spring School in Theoretical Computer Science (EPIT) / Ecole de Printemps d'Informatique Théorique (EPIT)Organisateurs de la Rencontre : Fawzi, Omar ; Kashefi, Elham ; Perdrix, Simon Dates : 24/05/2021 - 28/05/2021 Année de la rencontre : 2021 URL de la Rencontre : https://conferences.cirm-math.fr/2341.html
Données de citation
DOI : 10.24350/CIRM.V.19759503Citer cette vidéo: Duncan, Ross (2021). Quantum formal methods. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.19759503 URI : http://dx.doi.org/10.24350/CIRM.V.19759503 |
Voir Aussi
- [Virtualconference] Quantum error correction and fault tolerance / Auteur de la conférence Leverrier, Anthony.
- [Virtualconference] Quantum information theory / Auteur de la conférence Dupuis, Frédéric.
Bibliographie
