BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Formal Mathematics and Proof Systems Interoperability
DTSTART:20260622T070000Z
DTEND:20260703T150000Z
DTSTAMP:20260530T212300Z
UID:indico-event-13317@indico.ijclab.in2p3.fr
CONTACT:francesca.sconfienza@universite-paris-saclay.fr
DESCRIPTION:https://indico.ijclab.in2p3.fr/event/13317/
LOCATION:Institut Pascal
URL:https://indico.ijclab.in2p3.fr/event/13317/
END:VEVENT
END:VCALENDAR