Programme: Foundations of Quantum Programming
The intensive lecture series is complemented by invited and contributed talks on quantum programming, quantum software, formal methods, verification, and related research.
Monday · 28 September
Opening
Daniel GăinăMingsheng Ying Lecture 1
Hiroyuki Ochiai Introduction to the BRIDGE Project: Quantum Mathematical Education — Developing Quantum Talent through a Mathematical Approach
Masao Hirokawa A Concept for a Quantum-Classical Hybrid Computing System: From Low to High Layers
Tuesday · 29 September
Mingsheng Ying Lecture 2
Jianjun Zhao The Road to Reliable Quantum Software
Canh Minh Do An Algebraic Specification for Quantum Computation in Maude
Dinner party
Wednesday · 30 September
Mingsheng Ying Lecture 3
Minqi Shao (Kyushu University) Frequency-Domain Analysis of Quantum Neural Networks: From Output Approximation to Interpretability Insights
Xiaoyu Guo (Kyushu University) Automating Quantum Software Development Across Abstraction Levels: From Program Translation to Ansatz-Based Circuit Synthesis
Haru Negami (Japan Agency for Marine-Earth Science and Technology) From Hypergeometric Functions to Quantum Computing
Er-Xuan Jian (National Taiwan University) Toward Reliable Hybrid Quantum-Classical Biomedical AI: Programming and Verification Challenges from an Engineering Perspective
Qichen Wang (Kyushu University) Quantum Software Testing: From Foundations to Frontier Challenges
Thursday · 1 October
Mingsheng Ying Lecture 4
Friday · 2 October
Mingsheng Ying Lecture 4
Closing