https://pldi21.sigplan.org/details/planqc-2021-papers/5/Toward-A-Quantum-Programming-Language-for-Higher-Level-Formal-Verification
Toward A Quantum Programming Language for Higher-Level Formal Verification (PLanQC 2021) - PLDI 2021
The Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021) aims to bring together researchers from the fields of...
quantum programming languagehigher levelformal verificationtowardplanqc
https://www.thequantumfoundry.com/p/planqcs-massive-series-a-uplifts
planqc's Massive Series A Uplifts German Quantum Computing and the Neutral Atom Approach
Jul 16, 2024 - Series A shows Germany is not to be denied in Quantum.
series aquantum computingplanqcmassiveuplifts