Fall 2025 Calendar
| Week | Speaker | Date | Day | Time | Location | Seminar |
| 8/25-8/29 | Louis Vervoort (Higher School of Economics, Moscow): "Contextual (Hidden) Variables in Quantum and Fluid Mechanics" |
8/28 | Thursday | 11:30 a.m. - 12:45 p.m. | Baldwin Pavilion 1107 | MPP |
| 8/29 | Friday | 4 - 6:50 p.m. | Argyros Forum 209A | OCIE | ||
| 9/1-9/5 | Marco Panza (Chapman University): "Zeno, Aristotle and Achilles: Infinity and Continuity" (Joint work with Giovanna Giardina and Chiara Martini) |
9/4 | Thursday | 11:30 a.m. - 12:45 p.m. | Baldwin Pavilion 1107 | MPP |
| 9/5 | Friday | 4 - 6:50 p.m. | Argyros Forum 209A | OCIE | ||
| 9/8-9/12 | Emily Adlam, Kelvin McQueen, and Cai Waegell (Chapman University): "Agency cannot be a purely quantum phenomenon" |
9/11 | Thursday | 11:30 a.m. - 12:45 p.m. | Baldwin Pavilion 1107 | MPP |
| 9/12 | Friday | 4 - 6:50 p.m. | Argyros Forum 201 | OCIE | ||
| 9/15-9/19 | Eddy Keming Chen (UCSD): "Exchangeability and Algorithmic Randomness: A New Proof of the Principal Principle" |
9/19 | Friday | 2 - 3:15 p.m. | Keck Center 370 | MPP |
| 9/19 | Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 9/22-9/26 | Alexander Kurz and Michael Robinson (Chapman University): "AI and Education: Friends or Foes?" |
9/26 | Friday | 11:00 a.m. - 12:15 p.m. | Keck Center 370 | MPP |
| 9/26 | Friday | 2 - 4 p.m. | Keck Center 153 | OCIE | ||
| 9/29-10/3 |
No MPP or OCIE Seminar sessions this week | 10/2 | Thursday | - | - | - |
| 10/3 | Friday | - | - | - | ||
| 10/6-10/10 | MPP Seminar with Marco Panza (no external guest) | 10/9 | Thursday | 11:30 a.m. - 12:45 p.m. | Baldwin Pavilion 1107 | MPP |
| No OCIE Seminar this week | 10/10 | Friday | - | - | - | |
| 10/13-10/17 | Jean-Pierre Marquis (Université de Montréal): "What is Mathematical Structuralism? A categorical narrative" |
10/16 | Thursday | 11:30 a.m. - 12:45 p.m. | Baldwin Pavilion 1107 | MPP |
| 10/17 | Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 10/20-10/24 | Gila Sher (UCSD): "On the Connection between Invariance and Structural Necessity in Logic, Mathematics, and Physics" |
10/23 | Thursday | 11:30 a.m. - 12:45 p.m. | Baldwin Pavilion 1107 | MPP |
| 10/24 | Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 10/27-10/31 | Jonathan Weinberger (Chapman University): "Universes and higher algebra in synthetic ∞-category theory" |
10/30 | Thursday | 11:30 a.m. - 12:45 p.m. | Baldwin Pavilion 1107 | MPP |
| 10/31 | Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 11/3-11/7 | Marta Bílková (Institute of Computer Science): "Epistemic Logic of Crash Failures" | 11/6 | Thursday | 11:30 a.m. - 12:45 p.m. | Baldwin Pavilion 1107 | MPP |
| 11/7 | Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 11/10-11/14 |
Steve Awodey (Carnegie Mellon University) |
11/13 | Thursday | 11:30 a.m. - 12:45 p.m. | Baldwin Pavilion 1107 | MPP |
| 11/14 | Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 11/17-11/21 | Teresa Kouri Kissel (Old Dominion University): "Proof-Theoretic Pluralism and Harmony" |
11/20 | Thursday | 11:30 a.m. - 12:45 p.m. | Baldwin Pavilion 1107 | MPP |
|
Double session: Nico Formánek and Teresa Kouri Kissel |
11/21 | Friday | 3 - 6:45 p.m. | Keck Center 153 | OCIE | |
| Nico Formánek (High-Performance Computing Center Stuttgart): "Computational power and model selection" | 11/21 | Friday | 3 - 4:45 p.m. | Keck Center 153 | OCIE | |
| Teresa Kouri Kissel (Old Dominion University): "Proof-Theoretic Pluralism and Harmony" |
11/21 | Friday | 5 - 6:45 p.m. | Keck Center 153 | OCIE | |
| 11/27-11/28 | Thanksgiving - Campus closed | |||||
| 12/1-12/5 | Alain Yger (Université de Bordeaux) | 12/4 | Thursday | 11:30 a.m. - 12:45 p.m. | Baldwin Pavilion 1107 | MPP |
| Double session: Sophie d'Espalungue and Alain Yger |
12/5 | Friday | 3 - 6:45 p.m. | Keck Center 153 | OCIE | |
| Sophie d'Espalungue (IRIF, Paris): "Foundational Aspects of Size and Dimension in Higher Categorical Structures" | 12/5 | Friday | 3 - 4:45 p.m. | Keck Center 153 | OCIE | |
| Alain Yger (Université de Bordeaux): "The Mathematical Concept of Residue and its Ubiquity" | 12/5 | Friday | 5 - 6:45 p.m. | Keck Center 153 | OCIE | |
| 12/8-12/12 |
Victor Pambuccian (Arizona State University) |
12/11 | Thursday | 11:30 a.m. - 12:45 p.m. | Keck Center 370 | MPP |
|
Double session: |
12/12 | Friday | 3 - 6:45 p.m. | Killefer Conference Room A | OCIE | |
|
J. J. P. Veerman (Portland State University): "Birkhoff Sums of Irrational Rotations" |
12/12 | Friday | 3 - 4:45 p.m. | Killefer Conference Room A | OCIE | |
|
Victor Pambuccian (Arizona State University): "The Fine Structure of the Parallel Postulate" |
12/12 | Friday | 5 - 6:45 p.m. | Killefer Conference Room A | OCIE | |