Workshop “Lean for PDEs” 6–7 e 9 ottobre 2025

Il Simons Laufer Mathematical Sciences Institute (SLMath, già MSRI) e l’Institute for Computer-Aided Reasoning in Mathematics (ICARM) organizzano il workshop Lean for PDEs, dedicato all’uso dei proof assistant per la formalizzazione delle equazioni alle derivate parziali (PDEs). L’evento offrirà sessioni interattive guidate da esperti del progetto Mathlib, con l’obiettivo di avviare contributi concreti alla sezione PDE della libreria Lean. La partecipazione è gratuita e aperta a ricercatori, dottorandi e studenti interessati, sia in presenza che online.