BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//labri.fr//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:b4bc1a12-3a6b-46b1-abb1-eee62ba7cd2b
X-WR-CALNAME:Théo Zimmermann presentation: Software engineering challenges 
 in the collaborative evolution of the Coq proof assistant and its ecosyste
 m
X-WR-TIMEZONE:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
TZUNTIL:20230326T010000Z
BEGIN:STANDARD
TZNAME:CET
DTSTART:20201025T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RDATE:20211031T030000
RDATE:20221030T030000
END:STANDARD
BEGIN:DAYLIGHT
TZNAME:CEST
DTSTART:20210328T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RDATE:20220327T020000
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:b4bc1a12-3a6b-46b1-abb1-eee62ba7cd2b
DTSTAMP:20260511T094700Z
CLASS:PUBLIC
DESCRIPTION:Presentation on the software engineering issues involved in the
  development of the Coq proof assistant\n
DTSTART;TZID=Europe/Paris:20210923T100000
DTEND;TZID=Europe/Paris:20210923T110000
LOCATION:Salle 178 LaBRI
ORGANIZER;CN=Jean-Rémy Falleri:mailto:jean-remy.falleri@labri.fr
SEQUENCE:0
SUMMARY:Théo Zimmermann presentation: Software engineering challenges in th
 e collaborative evolution of the Coq proof assistant and its ecosystem
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR
