九州大学にて、下記の集中講義およびミニワークショップを開催いたしますので、ご案内申し上げます。

イベントWebサイト：https://imi.kyushu-u.ac.jp/lac/2026/index.html

期間中は、毎日、午前に集中講義、午後にMini Workshopを開催します。
ミニワークショップでは一般講演を募集しており、研究テーマや最近の成果をご紹介いただく機会として、幅広い方々のご発表を歓迎します。特に学生の皆様からの講演申込みを歓迎いたします。
講義シリーズのみ、Mini Workshopのみ、または両方に参加される場合のいずれについても、事前参加登録が必要です。一般講演をご希望の方は、上記イベントWebサイトの登録フォームから、あわせて講演申込みをお願いいたします。

1. 集中講義

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

日程　　2026年9月28日（月）– 10月2日（金）
時間　　各日 10:00–12:00（日本時間）
会場　　九州大学 伊都キャンパス W1-C-502

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・一般講演募集

同期間の各日午後に、Mini Workshopを開催します。一般講演を募集しており、特に学生の皆様からの申込みを歓迎いたします。Prof. Mingsheng Ying および九州大学・JAISTの招待講演者からフィードバックを得たり、研究の方向性について議論したりする貴重な機会となります。詳細はイベントWebサイトをご確認のうえ、登録フォームからお申し込みください。

招待講演者（2026. 9. 1 現在）

• 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)

量子プログラミング、量子計算、プログラム検証にご関心のある皆様のご参加を歓迎いたします。参加には事前登録が必要ですので、ご留意ください。

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