Fall Semester 2026
- September 1
- No Seminar, Spring Break
- September 8
- Chong Liu (UAlbany)
- 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)
- Snapshot Problems for the Euler-Poisson-Darboux Equation
- September 29
- Mai Tran (West Point Military Academy)
- Title TBD
- October 6
- Gang Zhou (Binghamton University)
- The ETH Model of Quantum Measurement
- October 20
- Peixue Wu (Syracuse)
- When Does Quantum Entanglement Help Send Classical Information Through Quantum Channels?
- October 27
- Felix Ye (UAlbany)
- Beyond “ChatGPT, Please Prove This Theorem”: Harnesses For Mathematical Research
- November 3
- 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