(15 Apr 2024–26 Apr 2024) Organizing Committee Co-chairsHuanchen Bao (National University of Singapore)Jiajun Ma (Xiamen University and Xiamen University Malaysia)Shanwen Wang (Renmin University of China)Liang Xiao (Peking University)Lei Zhang  (National University of Singapore)   Contact InformationGeneral Enquiries: Ims-enquiry(AT)nus.edu.sg Scientific Aspects Enquiries: huanchen(AT)nus.edu.sg  and  matzhle(AT)nus.edu.sg ActivitiesDateAbstractMini-Course15 to 19 April ViewWorkshop22 to 26 April ViewVenueDepartment of Mathematics Block S17, 10 Lower Kent Ridge … Continue reading Workshop on Formal Proofs and Lean