PIFI Day on the Design of AI-Enabled Safety-Critical Systems

The CAS President’s International Fellowship Initiative (PIFI) is a prestigious international exchange program launched by the Chinese Academy of Sciences to promote global scientific collaboration and academic exchanges. By fostering long-term partnerships, PIFI makes a significant contribution to advancing scientific innovation and addressing global challenges. PIFI DAY is the flagship event of this initiative; it aims to promote discussions on solutions to cutting-edge challenges and shape future research directions via intensive frontier academic presentations and exchanges in a specific research field.

The PIFI Day affiliated with ICFEM 2025 focuses on the design of AI-enabled safety-critical systems. This is an interdisciplinary subject that spans the areas of mathematics, computer science, and control theory. In particular, as artificial intelligence (AI) components are increasingly employed to enhance the effectiveness, autonomy, and adaptability of safety-critical systems, the resulting uncertainty and weak interpretability pose significant challenges to the well-established formal methods developed for ensuring the reliability and effectiveness of hardware/software systems. The PIFI Day aims to foster an intensive exchange of thoughts and ideas on potential refactoring and innovations of formal techniques in support of the modeling, analysis, verification, and synthesis of AI-enabled safety-critical systems.

Program Co-Chairs

• Mingshuai Chen, Zhejiang University, China
• Jim Woodcock, University of York, UK
• Naijun Zhan, Peking University, China
• Lijun Zhang, Institute of Software, Chinese Academy of Sciences, China

Program Committee

• Weiwei Ai, University of Auckland, New Zealand
• Yamine Ait-Ameur, University of Toulouse, France
• Ahmed Bouajjani, Paris Cité University, France
• Mingshuai Chen, Zhejiang University, China
• Simon Foster, University of York, UK
• Joost-Pieter Katoen, RWTH Aachen University, Germany
• Kim Larsen, Aalborg University, Denmark
• Dominique Méry, University of Lorraine, France
• Partha Roop, University of Auckland, New Zealand
• Sven Schewe, University of Liverpool, UK
• Jean-Pierre Talpin, INRIA, France
• Mark Trew, University of Auckland, New Zealand
• Jim Woodcock, University of York, UK
• Naijun Zhan, Peking University, China
• Lijun Zhang, Institute of Software, Chinese Academy of Sciences, China

Program

Location

Address: Gongyuan Building NW. Qun Building (Qiushi Road 8, Xihu District; Navigate via Google Maps).
The event taks place on the 21st Floor; our staff will guide you to the specific meeting room.
Address in Chinese: 西湖区求是路8号公元大厦北楼21楼