»MPP Seminar Calendar
The MPP Seminar (SCI 700: Graduate Colloquium) is an occasion for graduate students in the MPP Program:
- to meet with external scholars in mathematics, philosophy, and physics who have been expressly invited to Chapman,
- to meet with members of Chapman faculty in these disciplines, and
- to meet among themselves.
The program and periodicity of sessions will be determined in relation to the agenda of the current research seminars in these disciplines.
The MPP Seminar is composed of various seminars already existing at Chapman University: the OCIE Seminar in History and Philosophy of Mathematics, the IQS Seminar Series, the Analysis and Geometry Seminar (AGS), and the General Algebra, Logic and Artificial Intelligence Seminar (GALAI).
Please see the MPP Seminar Calendar below for more information. The calendar is updated continuously throughout the semester as more talks are announced.
Spring 2026 Calendar
| Week | Speaker | Date | Day | Time | Location | Seminar |
|
2/2-2/6
|
2/6
|
Friday
|
8 a.m. - 5:45 p.m.
|
Killefer Conference Room A
|
MPP
|
|
|
2/9-2/13
|
2/12
|
Thursday
|
11:30 a.m. - 12:45 p.m.
|
HSC 222
|
MPP
|
|
|
Book Presentation:
The Philosophical and Mathematical Legacy of Alexander Grothendieck |
2/12
|
Thursday
|
3 - 6 pm.
|
AF 209C
|
-
|
|
|
Colin McLarty (Case Western Reserve University):
"Childish simplicity, the importance of Grothendieck for philosophy" |
2/12
|
Thursday
|
3 - 4:15 p.m.
|
AF 209C
|
-
|
|
|
Jean-Jacques Szczeciniarz (University Paris Diderot Paris 7):
"What philosophical forms are at work in Grothendieck's mathematical thinking?" |
2/12
|
Thursday
|
4:15 - 5:30 p.m.
|
AF 209C
|
-
|
|
|
Colin McLarty (Case Western Reserve University):
"The role of proof in proof theory, focussing on Fermat's Last Theorem" |
2/13
|
Friday
|
4 - 6:50 p.m.
|
AF 209A
|
OCIE
|
|
|
2/16-2/20
|
Balthasar Grabmayr (Tübingen University):
"Fixing Montague's Problem" |
2/19
|
Thursday
|
11:30 a.m. - 12:45 p.m.
|
HSC 222
|
MPP
|
|
2/20
|
Friday
|
4 - 6:50 p.m.
|
KC 153
|
OCIE
|
||
|
2/23-2/27
|
MPP Seminar with Marco Panza (no external guest)
|
2/26
|
Thursday
|
11:30 a.m. - 12:45 p.m.
|
HSC 222
|
MPP
|
|
3/2-3/6
|
Valeria de Paiva (Topos Institute)
|
3/5
|
Thursday
|
11:30 a.m. - 12:45 p.m.
|
HSC 222
|
MPP
|
|
3/6
|
Friday
|
4 - 6:50 p.m.
|
KC 153
|
OCIE
|
||
|
3/9-3/13
|
Brice Halimi (Université Paris Cité)
Walter Carnielli (Centre for Logic, Epistemology and the History of Science, University of Campinas, Brazil) |
3/12
|
Thursday
|
11:30 a.m. - 12:45 p.m.
|
HSC 222
|
MPP
|
|
Double session
|
3/13
|
Friday
|
3 - 6 p.m.
|
KC 153
|
OCIE
|
|
|
3/13
|
Friday
|
3 - 4:30 p.m.
|
KC 153
|
OCIE
|
||
|
Walter Carnielli (Centre for Logic, Epistemology and the History of Science, University
of Campinas, Brazil):
"Gödel's Incompleteness Theorems Beyond the Classical: LFIs and Provability Logic" |
3/13
|
Friday
|
4:30 - 6 p.m.
|
KC 153
|
OCIE
|
|
|
3/16-3/20
|
3/19
|
Thursday
|
11:30 a.m. - 12:45 p.m.
|
HSC 222
|
MPP
|
|
|
3/20
|
Friday
|
4 - 6:50 p.m.
|
KC 153
|
OCIE
|
||
|
3/23-3/28
|
Spring Break: No seminars
|
|||||
|
3/30-4/3
|
4/2
|
Thursday
|
11:30 a.m. - 12:45 p.m.
|
HSC 222
|
MPP
|
|
|
4/3
|
Friday
|
4 - 6:50 p.m.
|
KC 153
|
OCIE
|
||
|
4/6-4/10
|
Otávio Bueno (University of Miami):
"Is Absolutely General Quantification Possible?" |
4/9
|
Thursday
|
11:30 a.m. - 12:45 p.m.
|
HSC 222
|
MPP
|
|
4/10
|
Friday
|
4 - 6:50 p.m.
|
KC 153
|
OCIE
|
||
|
4/14-4/17
|
James Francese (Chapman University):
"Kähler Moduli of Good Bicomplex Holomorphic Curves and Surfaces" |
4/16
|
Thursday
|
11:30 a.m. - 12:45 p.m.
|
HSC 222
|
MPP
|
|
4/17
|
Friday
|
4 - 6:50 p.m.
|
KC 153
|
OCIE
|
||
|
4/20-4/24
|
Michael Shulman (University of San Diego):
"Coinductive Universes and Higher Observational Type Theory" |
4/23
|
Thursday
|
11:30 a.m. - 12:45 p.m.
|
HSC 222
|
MPP
|
|
4/24
|
Friday
|
4 - 6:50 p.m.
|
KC 153
|
OCIE
|
||
|
4/27-5/1
|
No sessions this week (Agustín Rayo postponed to the following semester)
|
|||||
|
5/4-5/8
|
Luke Burns (Chapman University):
|
5/7
|
Thursday
|
11:30 a.m. - 12:45 p.m.
|
HSC 222
|
MPP
|
|
5/8
|
Friday
|
4 - 6:50 p.m.
|
KC 153
|
OCIE
|
||
|
5/11-5/15
|
Alejandro Díaz-Caro (Inria — Mocqua team, LORIA, France; Universidad de la República, CENUR Suroeste, Uruguay):"Towards a Computational Quantum Logic: From Quantum Control to Algebraic Linear Logic" | 5/14 | Thursday | 11:30 a.m. - 12:45 p.m. | HSC 222 | MPP |
| 5/15 | Friday | 4 - 6:50 p.m. | KC 153 | OCIE | ||
Past MPP Seminar Calendars
Toggle Section
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 | |
Spring 2025 Calendar
| Week | Speaker | Date | Day | Time | Location | Seminar |
| 1/20-1/24 | Thomas Seiller: "Logical structures arising from corpora" | 1/23 | Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
| 1/24 | Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 2/3-2/7 | Gigliola Staffilani: "What do I see from my corner of wave turbulence theory?" | 2/6 | Thursday | 10 - 11:15 a.m. | Keck Center 370 | MPP |
| 2/7 | Friday | 3 - 4:30 p.m. | Keck Center 153 | AGS | ||
| 2/3-2/7 | Silvia De Toffoli: "What Mathematical Explanation Need Not Be" | 2/6 | Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
| 2/7 | Friday | 4:45 - 6:15 p.m. | Keck Center 153 | OCIE | ||
| 2/10-2/14 | Søren Knudstorp: "Features of (Un)decidable Logics" | 2/13 | Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
| 2/14 | Friday | 4 - 6:50 p.m. | Keck Center 153 | GALAI | ||
| 2/17-2/21 | Jacopo Emmenegger: "An Introduction to the Theory of Lawvere's Doctrines and its Recent Advances" | 2/20 | Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
| 2/21 | Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 2/24-2/28 | Carl Posy: "Infinity, Paradox, and the Fall of Hilbert’s Program" | 2/27 | Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
| 2/28 | Friday | 9 - 10:45 a.m. | Hashinger 205 | OCIE | ||
| 3/3-3/7 | Greg Restall: "Modal Logic and Contingent Existence" | 3/6 | Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
| 3/7 | Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 3/10-3/14 | Also this week: Paolo Mancosu Guest Lecture and Inauguration of Paolo Mancosu Library Collection | 3/10 | Monday | 6 - 8:30 p.m. | Hilbert Museum | - |
| 3/11 | Tuesday | 2:30 - 5 p.m. | Leatherby Libraries | - | ||
| 3/10-3/14 | Vincent Jullien: "Cavalieri's Indivisibles and its Followers" | 3/13 | Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
| 3/14 | Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 3/17-3/21 | Postponed: No sessions this week | |||||
| 3/24-3/28 | Spring Break: No sessions this week | |||||
| 3/31-4/4 | Giuseppe Rosolini: "Ultracompletions" | 4/3 | Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
| 4/4 | Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 4/7-4/11 | Otávio Bueno: "Dispensing with the Grounds of Logical Necessity" | 4/10 | Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
| 4/11 | Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 4/14-4/18 | Simon Santschi: "Amalgamation in Varieties of Residuated Lattices" | 4/15 | Tuesday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
| 4/16 | Wednesday | 2:30 p.m. | Keck Center 370 | GALAI | ||
| 4/21-4/25 | Jemma Lorenat: "Axiomatic collaborations in the foundations of geometry at the University of Chicago, 1900 – 1905" | 4/24 | Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
| 4/25 | Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 4/28-5/2 | Charles "Chip" T. Sebens: "How Do Laws Produce the Future?" | 4/30 | Wednesday | 2:15 - 3:30 p.m. | Keck Center 370 | MPP |
| 5/2 | Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 5/5-5/9 | M. Andrew Moshier: "Point Set Topology is a Disease from Which the Human Race Will Soon Recover" | 5/8 | Thursday | 12 - 1:30 p.m. | Hashinger 222 | MPP |
| 5/9 | Friday | 2 - 4 p.m. | Keck Center 153 | OCIE | ||
| 5/12-5/17 | Melisa Vivanco: "On the Philosophy of Natural Numbers" | 5/15 | Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
| 5/16 | Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
Fall 2024 Calendar
| Week | Speaker | Date | Day | Time | Location | Seminar |
| 8/26-8/30 | Marco Panza: "Frege's definition of real numbers is consistent" |
8/29 |
Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
|
8/30 |
Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 9/2-9/6 |
Guram Bezhanishvili: "The Gödel translation: history and new directions" |
9/5 |
Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
|
9/6 |
Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 9/9-9/13 |
Carlos Alvarez: "A possible way to read (and interpret) Euclid's Elements" |
9/12 |
Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
|
9/13 |
Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 9/16-9/20 |
Eli Levenson Falk: "Beating the Ramsey limit on sensing with Hamiltonian control" |
9/18 |
Wednesday | 10 a.m. - 11 p.m. | Keck Center 149 | IQS |
|
9/18 |
Wednesday | 11:30 a.m. - 12:00 p.m. | Keck Center 370 | MPP | ||
| 9/16-9/20 |
Stephen Mackereth: "The Philosophical Significance of Gödel’s Dialectica Translation" |
9/19 |
Thursday | 11:30 a.m. - 12:45 p.m. |
Hashinger 404 |
OCIE |
| 9/23-9/27 |
Andrew Moshier and Alexander Kurz: "Interestingness in Mathematics" |
9/27 |
Friday | 10 - 11:15 a.m. | Keck Center 370 | MPP |
|
9/27 |
Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 9/30-10/4 |
Wesley H. Holliday: "From constructive mathematics and quantum mechanics to Fundamental Logic" |
10/3 |
Thursday |
11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
|
10/4 |
Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 10/7-10/11 |
10/8 |
Tuesday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP | |
|
10/9 |
Wednesday | 2:15 - 3:15 p.m. | Keck Center 370 | GALAI | ||
| 10/14-10/18 |
10/17 |
Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP | |
|
10/18 |
Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 10/21-10/25 |
Benjamin Faltesek: "Can the necessity of mathematics be derived?" |
10/24 |
Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
|
10/25 |
Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 10/28-11/1 |
Patrick Ryan: "A Reassessment of Gödel’s Doctrine: The Necessity of Infinity" |
10/31 |
Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
|
11/1 |
Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 11/4-11/8 |
11/7 |
Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP | |
|
11/8 |
Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 11/11-11/15 |
11/14 |
Thursday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP | |
|
11/15 |
Friday | 4 - 6:50 p.m. | Keck Center 153 | OCIE | ||
| 11/18-11/22 |
Paolo Andrea Erdman: "Machine Learning Methods for Quantum Thermal Devices" |
11/19 |
Tuesday | 11:30 a.m. - 12:45 p.m. | Hashinger 404 | MPP |
|
11/20 |
Wednesday | 10 a.m. - 12 p.m. | Keck Center 149 | IQS | ||
| 11/18-11/22 |
Also this week: Conference. Advances in Operator Theory with Applications to Mathematical Physics |
|||||
| 11/25-11/29 |
Thanksgiving break: No session |
|||||
| 12/2-12/6 |
12/3 |
Tuesday | 11:30am - 12:45pm | Hashinger 404 | MPP | |
|
12/4 |
Wednesday | 10 a.m. - 12 p.m. | Keck Center 149 | IQS | ||
CONTACT US
For more information about the OCIE Seminar series, please contact:
Lisa Beesley
Graduate Program Coordinator – Math, Philosophy and Physics
beesley@chapman.edu
Marco Panza
Provisional Program Director
panza@chapman.edu
(714) 997-5021