BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Une introduction à la formalisation mathématique
DTSTART:20261015T150000Z
DTEND:20261015T170000Z
DTSTAMP:20261022T184700Z
UID:indico-event-17529@indico.math.cnrs.fr
DESCRIPTION:Speakers: Riccardo Brasca (Université Paris Cité IMJ-PRG)\n\
 nhttps://indico.math.cnrs.fr/event/17529/
LOCATION:Salle Pierre Grisvard (IHP - Bâtiment Borel)
URL:https://indico.math.cnrs.fr/event/17529/
END:VEVENT
END:VCALENDAR