This program is tentative and subject to change.
| Slides (main.pdf) | 274KiB |
Researcher in LMF/Inria Saclay.
This program is tentative and subject to change.
Mon 12 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:30 | |||
09:00 10mTalk | Opening AddressTalk PLanQC Vladimir Zamdzhiev Inria File Attached | ||
09:10 20mTalk | Traq: Estimating the Quantum Cost of Classical ProgramsTalk PLanQC Anurudh Peduri Ruhr University Bochum, Jam Kabeer Ali Khan Standard Chartered Bank; Max Planck Institute for Security and Privacy (MPI-SP), Gilles Barthe MPI-SP; IMDEA Software Institute, Michael Walter Ruhr-Universität Bochum File Attached | ||
09:30 20mTalk | Programming Abstractions for Quantum Linear AlgebraTalk PLanQC Charles Yuan University of Wisconsin–Madison File Attached | ||
09:50 20mTalk | Verifying Repeat-Until-Success Circuits with AutoQTalk PLanQC Jyun-Ao Lin National Taipei University of Technology, Yu-Fang Chen Academia Sinica, Jakub Havlík Brno University of Technology, Ondřej Lengál Brno University of Technology, Fang-Yi Lo Academia Sinica, Wei-Lun Tsai Academia Sinica File Attached | ||
10:10 20mTalk | VC-Qiskit: Automated–Interactive Verification of Qiskit Passes with Minimal IntrusionTalk PLanQC Xiaoquan Xu , Li Zhou Institute of Software at Chinese Academy of Sciences, Mingsheng Ying Institute of Software at Chinese Academy of Sciences; Tsinghua University | ||
