Subject: Announcements & discussion among the quantum PL and verification community.
Description:
A mailing list for the larger Quantum Programming Languages and Verification research community. To discover papers in our area published in a wide variety of venues, see https://quantumpl.github.io/bib/Announcements (such as call for papers) and discussion (such as on new papers, general questions, etc) are welcome.