Second Workshop on Verification of Quantum Computing (VQC 2027), a CAV 2027 workshop https://verifiedqc.github.io/2027/