Write a Blog >>
Sun 19 Jan 2020 14:20 - 14:40 at Maurepas - Formal Methods Chair(s): Dominique Unruh
Qbricks, a framework for formal verification in quantumcomputing (Qbricks_Planqc.pdf)233KiB
(PlanQc_CC_Qbricks.pdf)672KiB

Sun 19 Jan
Times are displayed in time zone: Saskatchewan, Central America change

14:00 - 15:05
Formal MethodsPLanQC at Maurepas
Chair(s): Dominique UnruhUniversity of Tartu
14:00
20m
Talk
Runtime Analysis of Quantum Programs: A Formal Approach
PLanQC
Federico OlmedoUniversity of Chile & IMFD Chile, Alejandro Díaz-CaroICC (UBA-CONICET) & UNQ
Pre-print File Attached
14:20
20m
Talk
Qbricks: formal verification in quantum computing
PLanQC
Christopĥe CharetonCEA, LIST, France, Sébastien BardinCEA LIST, François BobotCEA, Valentin PerrelleCEA, LIST, France, Benoit ValironLRI, CentraleSupelec, Univ. Paris Saclay
File Attached
14:40
25m
Talk
Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages
PLanQC
Kesha HietalaUniversity of Maryland, Kartik SinghalUniversity of Chicago, Robert RandUniversity of Maryland, Shih-Han HungUniversity of Maryland, Xiaodi WuUniversity of Maryland, College Park, Michael HicksUniversity of Maryland
Media Attached