18th International Summer School on Trustworthy Software

click to show or hide


  • 2022-08-12: The slides of some courses are available here.
  • 2022-08-06: The meeting IDs for the courses are published! Click here to check.
  • 2022-07-14: The schedule of the summer school courses has been determined! Click here to check.
  • 2022-06-29: The registration of the summer school is open until July 15, 2022 !!


The International Summer School on Trustworthy Software is 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 state-of-the-art techniques in trustworthy software field. Every year, the summer school invites 3-5 international experts to offer excellent courses for the audients. It has been successfully held for 18 consecutive years in Shanghai, China.

The 18th summer school focuses on the topic "Formal Verification of Trustworthy AI Systems" and carries out a week-long activity in this summer.

Important Dates

  • Deadline for application: 2022-07-15
  • Summer School: 2022-08-15 -- 2022-08-20


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

  • Ana Cavalcanti, University of York
  • Jim Woodcock, University of York
  • Xin Chen, University of Dayton

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


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

Due to the coronavirus crisis, all the lectures would be given online virtually in this year. Audiences are required to prepare a laptop in advance and connect to the Internet. We would use Zoom Meeting to deliver the lectures online. The meeting information will be provided before the lecture is started.


You can scan the QR code below to sign up!


Contact & Organizers

Contact: Software Engineering Institute, East China Normal University.

Tel: (021)62231256 (Ms. Tingting Hu)

Email: tth@sei.ecnu.edu.cn

Address: The Science Building East China Normal University, 3663 N. Zhongshan Rd., Shanghai

Postcode: 200062

Our speakers are supported by the following institutes: