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-WR-CALNAME:Département de mathématiques et applications
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:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260320T110000
DTEND;TZID=Europe/Paris:20260320T120000
DTSTAMP:20260404T111156
CREATED:20260312T111117Z
LAST-MODIFIED:20260320T101307Z
UID:21121-1774004400-1774008000@www.math.ens.psl.eu
SUMMARY:Automath! Assia Mahboubi: Computer-assisted mathematics
DESCRIPTION:For more than half a century\, computers have become essential research tools in many areas of fundamental mathematics. They have dramatically expanded the scope of experimentation and visualization\, thereby becoming valuable assistants in the formulation of conjectures. They also play an increasing role in the discovery and verification of proofs. This phenomenon largely predates the rise of AI\, although recent advances in artificial intelligence considerably amplify its impact. This talk will discuss the role of computer tools in contemporary mathematics\, with a particular focus on the potential impact of the rise of interactive theorem proving. \n \nAutomath est un projet collectif pour faire communauté en région parisienne autour de l’informatisation des mathématiques
URL:https://www.math.ens.psl.eu/evenement/automath-assia-mahboubi-computer-assisted-mathematics/
LOCATION:ENS Salle Dussane
CATEGORIES:Séminaire Automath
END:VEVENT
END:VCALENDAR