PDEs: Verification, Mathematics, and Algorithms in the Age of AI
This IPAM workshop explores how mathematics and AI intersect to advance verification methods and algorithms for partial differential equations in scientific computing.
Funder: Institute for Pure and Applied Mathematics
Due Dates: September 17–18, 2026 (Workshop dates; registration closes when capacity is reached; financial support applications closed)
Funding Amounts: No travel support available; registration fees range from $10 (remote) to $100 (industry), with reduced rates for students and postdocs.
Summary: Two-day workshop exploring verification methods and algorithmic challenges at the intersection of PDEs and AI in scientific computing.
Key Information: Registration is first-come, first-served and may close early if capacity is reached.
Description
This workshop, organized by the Institute for Pure and Applied Mathematics (IPAM), focuses on the emerging challenges and opportunities at the intersection of partial differential equations (PDEs), verification, and artificial intelligence. It aims to foster dialogue among mathematicians, computer scientists, and practitioners to address verification issues in AI-driven scientific computing—including theorem proving, algorithm discovery, code generation, surrogate modeling, and automated test creation. The event encourages international collaboration, especially between US and Japanese researchers, and supports the DOE Genesis Mission’s goals in mathematics, formalization, and AI.
