BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Joined CTTB ICF and RAWG Seminar | Formal Verification of PIC PLC 
 Program
DTSTART:20260820T090000Z
DTEND:20260820T100000Z
DTSTAMP:20260805T194100Z
UID:indico-event-1710444@indico.cern.ch
DESCRIPTION:https://indico.cern.ch/event/1710444/
LOCATION:774/1-079 (CERN)
URL:https://indico.cern.ch/event/1710444/
END:VEVENT
END:VCALENDAR