Table of Content click to show or hide
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.
We are delighted to invite the following world-leading computer scientists to introduce their latest results towards formal methods for Trustworthy Systems.
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.
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:
