The 2025 East China Normal University International Summer School on Trustworthy Software, focusing on Formal Verification and Trustworthy AI, was successfully held at the Dishui Lake International Software Engineering Institute from June 30 to July 4.

This year marked the 21st edition of this annual event, a cornerstone initiative since its inception in 2004. The summer school has consistently played a vital role in bridging Eastern and Western scholarship in software engineering, fostering innovative development in China's software discipline, and cultivating young software talents with global competitiveness.

Under the theme "Formal Verification and Trustworthy AI," the 2025 program attracted over 60 students and faculty members from prestigious institutions worldwide. Participants came from East China Normal University, Peking University, Shanghai Jiao Tong University, National University of Defense Technology, University of Electronic Science and Technology of China, Institute of Software at the Chinese Academy of Sciences, China University of Geosciences, University of Amsterdam, among others.

A highlight of this year's school was the innovative "AI and Formal Methods" roundtable forum. The discussion was headlined by five distinguished invited lecturers and Professor Jeff Sanders, an international faculty member at the Dishui Lake International Software Engineering Institute. They engaged in in-depth dialogues on cutting-edge topics such as the formal verification of AI systems and the construction of trustworthy computing infrastructures, fostering active interaction with all attendees.

The ECNU International Summer School on Trustworthy Software has established itself as a premier international platform for high-level academic dialogue among young scholars. It showcases the field's dynamic ecosystem, characterized by integrated innovation and open development.

Editor:Binky