Our paper, titled Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic, has been accepted for publication in ACM Transactions on Software Engineering and Methodology (ACM TOSEM) and selected for a JAIST press release (link). :tada: