BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:8564@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20250425T160000
DTEND;TZID=Europe/Paris:20250425T170000
DTSTAMP:20250423T120556Z
URL:https://www.i2m.univ-amu.fr/evenements/tba-207/
SUMMARY:Assia Mahboubi (Inria\, Nantes Université & Vrije Universiteit Ams
 terdam ): Preuves formelles : l’informatique au service de la rigueur et
  de la créativité mathématiques
DESCRIPTION:Assia Mahboubi: Depuis plus d'un demi-siècle\, les ordinateurs
  ont acquis le statut d'instruments de recherche incontournables dans de n
 ombreuses branches de mathématiques fondamentales. Leur puissance de calc
 ul monumentale démultiplie les possibilités d’experimentation et de vi
 sualisation\, et représente une aide précise pour affiner les conjecture
 s. Mais aussi pour faire des démonstrations. Cet exposé non-technique 
 se propose de discuter le rôle des outils informatiques dans les mathéma
 tiques contemporaines\, en particulier le potentiel de logiciels appelés 
 prouveurs interactifs\, comme Lean ou Coq/Rocq\, et de leur bibliothèques
  de preuves formelles.
CATEGORIES:Colloquium
LOCATION:Saint-Charles - FRUMAM  (2ème étage)\, 3 Place Victor Hugo\, Mar
 seille\, 13003\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=3 Place Victor Hugo\, Marse
 ille\, 13003\, France;X-APPLE-RADIUS=100;X-TITLE=Saint-Charles - FRUMAM  (
 2ème étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20250330T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR