PDEs: Verification, Mathematics, and Algorithms in the Age of AI
PDEs: Verification, Mathematics, and Algorithms in the Age of AI brings researchers together to examine how to verify PDE mathematics, algorithms, and software as AI enters scientific work.
Browse similar grants
Funder: Institute for Pure and Applied Mathematics
Due Dates: Registration deadline not stated
Funding Amounts: Registration fees and financial support not stated
Summary: A two-day workshop on verifying PDE mathematics, algorithms, and scientific software as AI enters research practice.
Description
The Institute for Pure and Applied Mathematics (IPAM) hosted this two-day workshop on September 17–18, 2026. It examined how to establish the reliability of PDE-based scientific work when AI contributes to mathematical arguments, algorithms, software, and numerical experiments. Its focus spans formal proof, rigorous numerics, software verification, and scientific validation.
The workshop aimed to connect mathematicians, computer scientists, and practitioners working on proof assistants, PDE analysis, numerical methods, and scientific software. Its goals also included strengthening connections with DOE mission scientists, encouraging collaboration between US and Japanese researchers, and promoting mathematics, formalization, and AI in the DOE Genesis Mission.
