IE Toppforsk PDE
Partial differential equations
Toppforsk@IE research group
An introductory lecture series on Stochastic PDEs and Interval Arithmetic in Computer-Assisted Proofs
An introductory lecture series on Stochastic PDEs and Interval Arithmetic in Computer-Assisted Proofs
Date: December 8-11, 2025
Place: Auditorium H1 (Monday-Wednesday), Auditorium EL2 (Thursday)
Julien Vovelle, UMPA, ENS de Lyon
We give an introduction to stochastic partial differential equations, discussing in particular regularization by noise, invariant measures, and the stochastic compactness method for first and second order conservation laws.
Monday 10:15: Quick introduction to the Wiener process and the stochastic integral
Monday 14:15: Itô formula, regularization by the noise in transport equations
Tuesday 10:15: The stochastic compactness method I
Tuesday 14:15: The stochastic compactness method II. Invariant measures
Javier Gomez-Serrano, Brown University
In this series of lectures I will discuss how computers can be used for discovery, intuition, computation and mathematical proofs, using a broad collection of problems.
Wednesday 10:15: Introduction
Wednesday 14:15: Computer-assisted proofs (I)
Thursday 10:15: Computer-assisted proofs (II)
Thursday 14:15: AI+Math
Project advisor

Photo © Kai T. Dragland (2025)