Announcement_24

I was honored to give an invited talk on Automated Quantum Protocol Verification with Concurrent Dynamic Quantum Logic in Maude at The 16th International Workshop on Rewriting Logic and its Applications (WRLA 2026) in Torino, Italy (slides).