| Date | Speaker | Title | Location |
|---|---|---|---|
| Tue, 02/24/2026 - 1:00pm |
Seewoo Lee UC Berkeley |
Mathematics, AI, and Formalization | 340P |
| Date | Speaker | Title | Location |
|---|---|---|---|
| Tue, 02/24/2026 - 1:00pm |
Seewoo Lee UC Berkeley |
Mathematics, AI, and Formalization | 340P |