News

---

• 2025-05-01: The registration of the summer school is open until June 20, 2025 !!

Introduction

---

The International Summer School on Trustworthy Software was initiated in 2004 by Professor Jifeng He, academician of Chinese Academy of Sciences and founding dean of the School of Software Engineering of East China Normal University. The summer school aims to provide a platform for graduate students and young researchers in computer science or software engineering to learn the state-of-the-art techniques in trustworthy software field. Every year, the summer school invites 3-5 international experts to deliver excellent courses for the audients. It has been successfully held for 20 consecutive years in Shanghai, China.

The 21th summer school focuses on the topic "Formal Verification and AI Designs" and will carry out a 5-day activity in this summer.

Important Dates

---

• Registration: 2025-05-01 -- 2025-06-20
• Summer School: 2024-06-30 -- 2024-07-04

Lecturers

---

We are delighted to invite the following world-leading computer scientists (in alphabetic order) to introduce their latest results towards formal methods for Trustworthy Systems.

• Jingsong Dong, National University of Singapore, Singapore
• Giuseppe De Giacomo, University of Oxford, England
• John Hughes, Chalmers University, Sweden
• Moshe Y. Vardi, Rice University, USA
• Nobuko Yoshida, University of Oxford, England

The details of the lecturers and their courses can be found here.

Audience

---

Courses will be delivered in English. Students are expected (but are not limited) to be graduate students in Computer Science, Software Engineering, or Mathematics.

Registration

---

Please follow the next steps to complete the registration:

(1) Use either of the following ways to sign up:

• If you are used to the WeChat app, please submit your information by using WeChat to scan the QR code below

• Otherwise, please submit your information through google form

(2) You will be notified by Email (sent from summerschool@sei.ecnu.edu.cn) whether you are registered successfully.

• Please be aware that due to the space limit, we can only afford no more than 120 audience in the school.
• As a result, we appologize there is no guarantee that you can successfully be registered by default after you complete Step (1).

(3) If you are successfully registered, you need to pay 2000 RMB for the registration fee.

• Lunches and dinners during the summer school can be provied on demand.
• The instruction on how to pay the registration fee will be also sent by Email.

(4) Send us the confirmation of your payment and the necessary information of the receipt (for reimbursement). More details will be sent by Email.

(5) Once we confirm the payment, we will send the receipt before the end of the summer school.