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.