Q-SE 2021
Tue 1 - Wed 2 June 2021
co-located with ICSE 2021
Wed 2 Jun 2021 13:00 - 14:00 at Q-SE Room - Keynote 2 Chair(s): Tao Yue

In this talk, I’ll mainly discuss the program logic approach to verification of quantum programs, including quantum Hoare logic, invariant generation and termination analysis for quantum programs. I’ll also briefly discuss potential applications of model checking for verification and debugging of quantum programs. Some problems for future research will be proposed at the end of the paper.

Wed 2 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:00 - 14:00
Keynote 2Q-SE 2021 at Q-SE Room
Chair(s): Tao Yue Nanjing University of Aeronautics and Astronautics
13:00
60m
Keynote
Verification of Quantum Programs
Q-SE 2021
A: Mingsheng Ying University of Technology Sydney / Institute of Software at Chinese Academy of Sciences / Tsinghua University
Media Attached

Information for Participants
Wed 2 Jun 2021 13:00 - 14:00 at Q-SE Room - Keynote 2 Chair(s): Tao Yue
Info for room Q-SE Room:

Go directly to this room on Clowdr