Events

Recent and Upcoming Events

• 24-28 August 2026. “Model-Theoretic Inferentialism: The Best of Both Worlds.” The 12th European Congress of Analytic Philosophy, Complutense University of Madrid [with S. Kaan Tabakci]
• 18 August 2026. “Philosophical Perspectives on Proof Automation in Mathematics.” Korean Association for Logic 2026 Summer Meeting, Korea Institute For Advanced Study [with Min Cheol Seo and Yeongseo Yeo]
• 23 July 2026. “When the Practice Doesn’t Settle Philosophy.” Asian Philosophy of Science Association Conference 2026, Nanyang Technological University
• 14 July 2026. A Discussion Panelist for the PNU–KAIST Joint Workshop on Philosophical and Psychological Discussions of AI, Pusan National University
• 3 July 2026. “Model-Theoretic Inferentialism: The Best of Both Worlds.” Logic Colloquium 2026 [with S. Kaan Tabakci]