AI for Mathematics Workshop on Lean, Automated Reasoning and Beyond

September 2th~September 4th , 2024
Login Account Email Address:
Please Enter password:
Please Confirm password:
Verification code:
验证码
Can't see clearly?

Have an account, log in now

application@math.pku.edu.cn + (86 10) 62744132 (8:00-17:00)
Copyright © 2017 All Rights Reserved. Beijing International Center for Mathematical Research