BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Laboratoire de Mathématiques de Versailles - ECPv6.16.4.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Laboratoire de Mathématiques de Versailles
X-ORIGINAL-URL:https://lmv.math.cnrs.fr
X-WR-CALDESC:Évènements pour Laboratoire de Mathématiques de Versailles
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240620T140000
DTEND;TZID=Europe/Paris:20240620T150000
DTSTAMP:20240620T144313Z
CREATED:20240418T213555Z
LAST-MODIFIED:20240620T144313Z
UID:12662-1718892000-1718895600@lmv.math.cnrs.fr
SUMMARY:EDP : Claire Chainais (université Lille 1) : Corrosion of iron in an underground repository: a new  thermodynamically consistent model and some theoretical and numerical  results
DESCRIPTION:Abstract : The modelling and the numerical simulation of corrosion take part in the general description of the nuclear waste repository. The derivation of models that are accurate in the long-time regime is a challenge\, especially in this context. In this talk\, I will start by recalling the Diffusion Poisson Coupled Model  introduced by Bataillon et al. en 2010 and I will show how some minor corrections lead to a thermodynamically consistent model. This model consists in a drift-diffusion-Poisson system of equations on a moving domain. I will review the mathematical results we recently obtained for this model and the main issues we are currently considering.
URL:https://lmv.math.cnrs.fr/evenenement/edp-claire-chainais-universite-lille-1/
LOCATION:Bâtiment Fermat\, salle 4205
CATEGORIES:Séminaire EDP
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240620T153000
DTEND;TZID=Europe/Paris:20240620T163000
DTSTAMP:20240620T144304Z
CREATED:20240418T213502Z
LAST-MODIFIED:20240620T144304Z
UID:12660-1718897400-1718901000@lmv.math.cnrs.fr
SUMMARY:EDP : Maxime Breden (CMAP\, Ecole Polytechnique) : An introduction to computer-assisted proofs for nonlinear equations: how to turn a numerical simulation into a theorem.
DESCRIPTION:Résumé : The goal of a posteriori validation methods is to get a quantitative and rigorous description of some specific solutions of nonlinear ODEs or PDEs\, based on numerical simulations. The general strategy consists in combining a priori and a posteriori error estimates\, interval arithmetic\, and a fixed point theorem applied to a quasi-Newton operator. Starting from a nu- merically computed approximate solution\, one can then prove the existence of a true solution in a small and explicit neighborhood of the numerical approximation.\nI will first present the main ideas behind these techniques on a simple example\, then describe a rather general framework in which they can be applied\, and finally\, time permitting\, discuss some recent applications.
URL:https://lmv.math.cnrs.fr/evenenement/edp-maxime-breden-ecole-polytechnique/
LOCATION:Bâtiment Fermat\, salle 4205
CATEGORIES:Séminaire EDP
END:VEVENT
END:VCALENDAR