Prof. Washizaki was invited to join and provide my keynote at the 2nd International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV 2025, organized by Shaoying Liu (Chair), Tadashi Dohi, Geguang Pu, Tsuchiya Tatsuhiro, Yuting Chen, and Hiroyuki Okamura, with keynote speakers Jian Zhang and me), at the Dishui Lake International Software Engineering Institute, East China Normal University, in Shanghai. Furthermore, Master course student Toshiya presented his paper titled “Data-driven and Scenario-based Risk Analysis Considering Uncertainty in Machine Learning Systems.” It was an excellent opportunity to meet with old and new friends in software engineering, with a particular focus on program analysis and verification in the era of AI and quantum computing, and to grow the community, particularly in China, Japan, and other areas. Thank you for organizing such an inspiring symposium and having us, and see you all at the next SFPVV 2026 in Ehime!