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:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20220608T130000
DTEND;TZID=Europe/Paris:20220608T143000
DTSTAMP:20260407T001254
CREATED:20220309T205931Z
LAST-MODIFIED:20220603T162938Z
UID:15407-1654693200-1654698600@www.math.ens.psl.eu
SUMMARY:Pourquoi raconter des maths aux ordinateurs ?
DESCRIPTION:Patrick Massot\nPourquoi raconter des maths aux ordinateurs ?\nDe plus en plus de mathématiciens s’amusent en expliquant des mathématiques aux ordinateurs via des logiciels appelés assistants de preuves. Dans cet exposé j’expliquerai à quoi ressemble ce processus\, dit de formalisation\, quel genre de choses il nous apprend et comment il pourrait même s’avérer utile (en notre sens habituel du mot « utile »).
URL:https://www.math.ens.psl.eu/evenement/expose-de-patrick-massot/
LOCATION:amphi Galois NIR
CATEGORIES:ANNÉE 2021-2022,Séminaire Des mathématiques
END:VEVENT
END:VCALENDAR