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:Présentation Théo Zimmermann : Défis de génie logiciel dans l'
 évolution collaborative de l'assistant de preuve Coq et son écosystème
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:20260511T110046Z
CLASS:PUBLIC
DESCRIPTION:Présentation sur les problématiques de génie logiciel présentes
  dans le développement de l'assistant de preuve Coq\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:Présentation Théo Zimmermann : Défis de génie logiciel dans l'évolu
 tion collaborative de l'assistant de preuve Coq et son écosystème
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR
