I am honored to give a talk on Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic at La Trobe-Kyushu Joint Seminar on Mathematics for Industry (slides).