FMQC 2025

First Workshop on Formal Methods in Quantum Computing

August 25, co-located with CONFEST 2025 in Aarhus