BEGIN:VCALENDAR
VERSION:2.0
PRODID:IMJ-PRG
X-WR-TIMEZONE:Europe/Paris

BEGIN:VEVENT
UID:11027@imj-prg.fr

DTSTAMP:20260921T110000
DTSTART:20260921T110000
DTEND:20260921T123000
SUMMARY:What does it mean to formalize a proof? Can we really trust a formalized proof, even if written by an LLM?:  Riccardo BRASCA Université Paris Cité,
LOCATION: 1013
DESCRIPTION:Séminaire de Géométrie\n
  Sophie Germain 
URL: https://www.imj-prg.fr/gestion/evenement/affSeance/11027
END:VEVENT
END:VCALENDAR