First Workshop on Verification of Quantum Computing (VQC 2025)


A CAV 2025 Workshop
July 21, 2025 Westin Hotel Conference Center, Zagreb, Croatia

Presentation Submission

Due to several requests, we have extended the submission deadline to May 15.

Organizers

  • Runzhou Tao (University of Maryland)
  • Yu-Fang Chen (Academia Sinica)

Invited Speakers

  • Ross Duncan (Quantinuum)
  • Aws Albarghouthi (University of Wisconsin-Madison)
  • Marco Pistoia (JP Morgan)
  • Mingsheng Ying (University of Technology Sydney)

Program Committee

  • Runzhou Tao (University of Maryland)
  • Yu-Fang Chen (Academia Sinica)
  • Alfons Laarman (Leiden University)
  • Christophe Chareton (LORIA-CELLO)
  • Ondrej Lengal (Brno University of Technology)
  • Max Tschaikowski (Aalborg University)
  • Nengkun Yu (Stony Brook University)
  • Ji Liu (Argonne National Laboratory)
  • Zichang He (JPMorgan Chase)
  • Li Zhou (Max Planck Institute for Security and Privacy)
  • Ferhat Erata (Yale University)