First Workshop on Verification of Quantum Computing (VQC 2025)

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

Presentation Submission

Organizers

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

Invited Speakers

TBD

Program Committee

TBD