Introduction

Initiated by Prof. Jifeng He (Academician of CAS, the founder of The Software Engineering Institute of ECNU), SEI-ECNU Summer School has been an annual event since 2005, aiming to provide a platform for graduate students and young researchers in computer science or software engineering to learn state-of-the-art techniques in related fields. It also aims to strengthen communication between Chinese researchers and leading global research groups in Software Engineering. It is freely accessible to students from all over China with a specific theme each year.

In 2020, the SEI summer school is themed as “Formal Methods for Trustworthy Artificial Intelligence”. The bloom of AI techniques in the past has raised various new scientific challenges such as the correctness, reliability and explainability of AI-based software systems. The issue is particularly vital to those AI embedded safety-critical systems such as self-driving and clinical diagnosis. Formal methods, as a traditional means to reliability guarantee, are potential solutions to the challenges.

Lecturers

We are delighted to invite four world-leading computer scientists to introduce their latest results towards formal methods for trustworthy Artificial Intelligence. Besides, a new feature of the summer school for this year is that we invite Huawei to introduce their effort towards this direction from industrial perspective.

Shaoying Liu, Hiroshima University




Prof. Zhiming Liu, Southwest University




Xiaowei Huang, Liverpool University




Guy Katz, Hebrew University of Jerusalem




Xuejun Wen, Shield Lab, Huawei




Ting Dai, Shield Lab, Huawei




Chengqiang Huang, Huawei

Audience

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. No prior knowledge of type theory is required, but a good programming experience is expected.

Registration

You can scan the QR code below to sign up!

Important Dates

• Deadline for application: 2020-07-06
• Registration Date: 2020-07-12
• Summer School: 2020-07-13 -- 2020-07-17

News and Events