We are pleased to announce the following lecture series and mini-workshop at Kyushu University.

Event website: https://imi.kyushu-u.ac.jp/lac/2026/index.html

The program consists of two parts each day: a lecture series in the morning and a mini-workshop in the afternoon. All participants are encouraged to give a contributed talk and share their research interests or recent results. Presentations by students are especially welcome.

Advance registration is required for all participants, whether attending the lecture series, the mini-workshop, or both. Those who wish to give a contributed talk should also apply through the registration form available on the event website above.

1. Lecture Series

＝＝＝＝  Lecture Series: “Foundations of Quantum Programming”  ＝＝＝＝

Date      September 28 (Mon.) – October 2 (Fri.), 2026
Time      10:00–12:00 JST each day
Venue    W1-C-502, Ito Campus, Kyushu University
Lecturer  Distinguished Prof. Mingsheng Ying (University of Technology Sydney)
Title     “Foundations of Quantum Programming”

Abstract:
Recent advances in quantum hardware have brought the field from prototype devices to increasingly practical platforms. To fully realize the potential of quantum computing, quantum programming and software development technologies will play a crucial role.

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.

The lectures will also discuss open problems that may inspire future research in quantum programming.

Main Topics:
The lecture series will provide a systematic introduction to the mathematical foundations of quantum programming, ranging from program semantics to verification, analysis, and recursive quantum programming.

1. Operational semantics of quantum programs
2. Denotational semantics of quantum programs
3. Quantum Hoare logic
4. Verification and analysis of quantum programs
5. Quantum recursive programming

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

2. Mini-Workshop and Call for Contributed Talks

A mini-workshop will be held in the afternoon of each day during the same period. Contributed talks are welcome, and students are especially encouraged to apply. The talks will provide a valuable opportunity to receive feedback and discuss research directions with Prof. Mingsheng Ying and invited speakers from Kyushu University and JAIST. Please see the event website for details and submit your application through the registration form.

Invited Speakers

• Canh Minh Do (Japan Advanced Institute of Science and Technology)
• Masao Hirokawa (Faculty of Information Science and Electrical Engineering, Kyushu University)
• Hiroyuki Ochiai (Institute of Mathematics for Industry, Kyushu University)
• Jianjun Zhao (Faculty of Information Science and Electrical Engineering, Kyushu University)

Everyone interested in quantum programming, quantum computing, and program verification is warmly welcome to attend. Please note that advance registration is required for participation.

Organizer: Daniel Găină
Email: daniel@imi.kyushu-u.ac.jp