Fall Semester 2026
- September 1
- No Seminar, Spring Break
- September 8
- Chong Liu
- Accelerated Bayesian Optimization for Drug Discovery
- September 15
- Jon Bannon (Siena University)
- From Checked Proofs to Reusable Mathematics: Lean, Mathlib, Autoformalization, and the Future of Mathematics
- September 22
- Jens Christensen (Colgate University)
- Title TBD
- September 29
- Mai Tran (West Point Military Academy)
- Title TBD
- October 6
- Gang Zhou (Binghamton University)
- Title TBD
- October 20
- No Seminar, Spring Break
- October 27
- No Seminar, Spring Break
- November 10
- Sam Looi (CalTech)
- Title TBD
- November 17
- No Seminar, Spring Break
- November 24
- No Seminar, Spring Break
- December 1
- No Seminar, Spring Break
- December 8
- Nhan-Phu Chung (University of Economics, Ho Chi Minh city)
- Title TBD