10/14/2026
Register now for Dec. 7-8 workshop on "Frontier of PDE Formalization and Analysis with AI" at SLMath in Berkeley, CA or online via Zoom. ** Priority funding deadline: October 15, 2026 (later applications subject to funding availability).
This workshop brings together three communities, PDE analysts, Lean/Mathlib developers, and AI/AI4Math researchers from both academia and industry, to chart a shared path forward. This workshop is supported by the National Science Foundation (NSF) and the AI for Math Fund.