VQC 2027 is the second edition of the Workshop on Verification of Quantum Computing, held on Monday, July 19, 2027 as part of the CAV 2027 workshop program in Amsterdam.
The workshop brings together researchers from formal methods and quantum information to address the unique challenges of verifying quantum software and hardware: from quantum programs, compilers, and simulators to error-correction protocols, fault-tolerant architectures, and resource estimates for cryptographically relevant algorithms.
The first edition, VQC 2025 at CAV 2025 in Zagreb, featured keynotes by Ross Duncan, Mingsheng Ying, and Aws Albarghouthi, eight contributed talks, and a poster session. VQC 2027 continues the format: a one-day, presentation-based workshop without formal proceedings, open to published, in-progress, and tool-oriented work.
Important Dates
Invited Speakers
- Harry Buhrman Quantinuum and University of Amsterdam — Confirmed
- Ronald de Wolf CWI and University of Amsterdam — Tentative
Organizers
- Alfons Laarman Leiden University
- Yu-Fang Chen Academia Sinica
- Runzhou Tao University of Maryland
Venue
The workshop takes place at KIT (the former Royal Tropical Institute) in Amsterdam, the CAV 2027 venue, on the first of the two CAV workshop days (July 19–20). Registration, travel, and accommodation information are provided by CAV 2027.