Subject: Announcements & discussion among the quantum PL and verification community.
This button tries to protect the mailing list archives against address harvesting by a spammer.
