PDEs: Verification, Mathematics, and Algorithms in the Age of AI

This two-day UCLA/IPAM research workshop examines how to verify mathematical and scientific work when AI is used throughout the pipeline, from theorem proving and algorithm discovery to code generation, surrogate modeling and automated tests.

The program brings together mathematicians, computer scientists, numerical-methods researchers and scientific-software practitioners. Its stated goals include identifying verification challenges, strengthening connections across proof assistants and PDE analysis, and building US-Japan research collaboration.

IPAM has a live registration form and notes that in-person capacity may be limited. The organizer has not published a room or daily timetable, so the displayed daytime hours are placeholders only. Confirm the final schedule, venue details and registration fees through the official page.