Announcement_8
Our paper Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude was selected as Best Paper/Presentation Award for Young Researcher in WRLA 2024 (link). 
Our paper Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude was selected as Best Paper/Presentation Award for Young Researcher in WRLA 2024 (link).