The workshop aims at bringing together researchers and practitioners with interests in logic, algebra, category theory and their applications in computing science.
This lecture series systematically introduces the theoretical foundations of quantum programming, including operational and denotational semantics, quantum Hoare logic, verification and analysis of quantum programs, and quantum recursive programming..