Workshop on Formal Proofs and Lean

(15 Apr 2024–26 Apr 2024)

Organizing Committee

 

Co-chairs

  • Jiajun Ma (Xiamen University and Xiamen University Malaysia)
 
 

Contact Information

General Enquiries: Ims-enquiry(AT)nus.edu.sg
Scientific Aspects Enquiries: huanchen(AT)nus.edu.sg  and  matzhle(AT)nus.edu.sg

Activities

DateAbstract
Mini-Course15 to 19 April View
Workshop22 to 26 April View

Venue

Department of Mathematics

Block S17, 10 Lower Kent Ridge Road, Singapore 119076

Poster

Scroll to Top
Scroll to Top