BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Département de mathématiques et applications - ECPv6.2.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.math.ens.psl.eu
X-WR-CALDESC:évènements pour Département de mathématiques et applications
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:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250520T093000
DTEND;TZID=Europe/Paris:20250520T123000
DTSTAMP:20260425T164814
CREATED:20240905T181359Z
LAST-MODIFIED:20250513T091515Z
UID:17693-1747733400-1747744200@www.math.ens.psl.eu
SUMMARY:Computers and mathematics in PDE: new developments and challenges
DESCRIPTION:Title: Computers and mathematics in PDE: new developments and challenges \n\n\n\nSpeaker: Javier Gómez-Serrano \n\n\n\nAbstract: In the last 50 years computing power has experienced an enormous development: from Moore’s law — every two years the number of transistors doubled — up to the latest developments in GPUs. In this talk I will address the interaction between traditional and modern mathematics and how computers have helped over the last decade providing rigorous proofs in the context of PDE. I will also describe new exciting future directions in the field\, in particular addressing the incoming new revolution from the interaction of machine learning and mathematics. \n\n\n\nThe first part will cover general background\, with an emphasis in computer-assisted proofs and the machine-learning ingredients.The second part will explain how to combine those ingredients with classical analysis to prove mathematical theorems\, in particular instances.
URL:https://www.math.ens.psl.eu/evenement/javier-gomez-serrano/
LOCATION:ENS – salle W\, 45 rue d'Ulm\, Paris\, 75005\, France
CATEGORIES:Séminaire Analyse non linéaire et EDP
END:VEVENT
END:VCALENDAR