Current Events
Upcoming Events
BIMSA Course in 2026 Spring
Course
Updating
27th
April
Brief Introduction to the Rocq (Coq) Prover
Course
Hanru Jiang
28th
April
Complex Geometry Seminar
Seminar
Yingying Zhang
29th
April
Introduction to Higher Operads.
Course
Svyatoslav Pimenov
2nd
May
International Conference on AI-enabled Precision Breeding
Workshop
Rongling Wu
6th
May
Geometry of Integrable Systems II
Course
Peter Koroteev
7th
May
BIMSA Topology Seminar
Seminar
Matthew Burfitt
,
Jingyan Li
,
Jie Wu
,
Pravin Kumar
Research Groups
Applications in Complex Systems
>