Français
Quantum formal methods
Virtualconference
Authors : Duncan, Ross (Author of the conference)
CIRM (Publisher )
81-01 - Instructional exposition (textbooks, tutorial papers, etc.)
CIRM (Publisher )
Loading the player...
|
Abstract :
MSC Codes : 81-01 - Instructional exposition (textbooks, tutorial papers, etc.)
|
Information on the Video
Film maker : Hennenfent, GuillaumeLanguage : English Available date : 17/06/2021 Conference Date : 25/05/2021 Subseries : Research talks arXiv category : Computer Science ; Logic Mathematical Area(s) : Computer Science ; Logic and Foundations Format : MP4 (.mp4) - HD Video Time : 02:56:03 Targeted Audience : Researchers Download : https://videos.cirm-math.fr/2021-05-25_Duncan.mp4 
|
Information on the Event
Event Title : Spring School in Theoretical Computer Science (EPIT) / Ecole de Printemps d'Informatique Théorique (EPIT)Event Organizers : Fawzi, Omar ; Kashefi, Elham ; Perdrix, Simon Dates : 24/05/2021 - 28/05/2021 Event Year : 2021 Event URL : https://conferences.cirm-math.fr/2341.html
Citation Data
DOI : 10.24350/CIRM.V.19759503Cite this video as: 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 |
See Also
- [Virtualconference] Quantum error correction and fault tolerance / Author of the conference Leverrier, Anthony.
- [Virtualconference] Quantum information theory / Author of the conference Dupuis, Frédéric.
Bibliography
