BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Formal Verification Techniques for FPGA
DTSTART;VALUE=DATE-TIME:20080708T073000Z
DTEND;VALUE=DATE-TIME:20080708T090000Z
DTSTAMP;VALUE=DATE-TIME:20240229T161419Z
UID:indico-contribution-148-0-83@ictp.it
DESCRIPTION:Speakers: ELISHA LYE ()\n//indico.ictp.it/event/a07186/session
 /148/contribution/83
LOCATION:Kuala Lumpur - Malaysia
URL://indico.ictp.it/event/a07186/session/148/contribution/83
END:VEVENT
END:VCALENDAR