Institute for Pure and Applied Mathematics

UCLA's Institute for Pure and Applied Mathematics convenes interdisciplinary research programs, workshops and public scientific events connecting mathematics with applied fields.

Visit website →All organizers

Sep

Thu

9:00 AM – 5:00 PM PDT

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

by Institute for Pure and Applied Mathematics

A UCLA/IPAM workshop connecting mathematics, formal verification and AI, focused on the reliability of AI-assisted theorem proving, scientific software, numerical methods and simulation.

WorkshopAdvancedResearchersDevelopersStudents