Current and Upcoming Courses and Schools
Training opportunities for students and postdocs.
| Date | Name | |
|---|---|---|
|
September 8 - December 8, 2026 |
Fields Academy Shared Graduate Course: Elements of Mathematical Formalization and Auto-Formalization with Lean |
