BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//labri.fr//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:02a4f53a-62eb-452e-bc25-73c1bd2a5aae
X-WR-CALNAME:Thibault Hilaire's thesis defence
X-WR-TIMEZONE:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
TZUNTIL:20261025T010000Z
BEGIN:STANDARD
TZNAME:CET
DTSTART:20241027T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RDATE:20251026T030000
END:STANDARD
BEGIN:DAYLIGHT
TZNAME:CEST
DTSTART:20240331T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RDATE:20250330T020000
RDATE:20260329T020000
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:02a4f53a-62eb-452e-bc25-73c1bd2a5aae
DTSTAMP:20260417T012114Z
CLASS:PUBLIC
DESCRIPTION:Thibault Hilaire will present his thesis entitled “Coverability
  algorithms for Petri nets certified in Coq”.
DTSTART;TZID=Europe/Paris:20241202T140000
DTEND;TZID=Europe/Paris:20241202T180000
LOCATION:Amphi LaBRI
ORGANIZER;CN=Jérôme Leroux:mailto:jerome.leroux@labri.fr
SEQUENCE:0
SUMMARY:Thibault Hilaire's thesis defence
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR
