Technical Program
Technical Program
Outline of Technical Program (Tentative)
| Thursday, October 9, 2025 |
| 08:30 - | Registration |
| 09:00 - 09:20 | Opening |
| 09:20 - 10:30 | K1 Keynote Speech I |
| 10:30 - 12:00 | R1 Regular Poster Session I |
| 12:00 - 13:30 | Lunch Break |
| 13:30 - 14:30 | I1 Invited Talk I |
| 14:30 - 16:00 | R2 Regular Poster Session II |
| 16:00 - 17:30 | D Panel Discussion |
| 18:00 - 20:00 | Banquet |
| Friday, October 10, 2025 |
| 09:20 - 10:30 | K2 Keynote Speech II |
| 10:30 - 12:00 | R3 Regular Poster Session III |
| 12:00 - 13:30 | Lunch Break |
| 13:30 - 14:30 | I2 Invited Talk II |
| 14:30 - 16:00 | R4 Regular Poster Session IV |
| 16:00 - | Closing |
Highlight of the Program
Keynote Speeches:
- Randal E. Bryant (Carnegie Mellon University, USA),
"Verification Tools Should Certify Their Results"
- Hideki Nishizawa (NTT Network Innovation Laboratories, Japan),
"New Optical Path Design Trend on the IOWN Global Forum Open All-Photonics Network: Background, Application, and Key Enablers"
Invited Talks:
- Jie-Hong Roland Jiang (National Taiwan University, Taiwan),
"A Symbolic Approach to Exact Quantum Circuit Simulation and Verification"
- Koji Inoue (Kyushu University, Japan),
"Towards Emerging Device Computing for the Post-Moore Era"
Last Modified: September 3, 2025