| 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)
Thursday: "Univalence, Invariance, and Intensionality"
Friday: "What is HoTT?"
|
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:
J. J. P. Veerman and Victor Pambuccian
|
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 |