BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:FMCAD + VSTTE 2026
DTSTART:20260914T070000Z
DTEND:20260918T130000Z
DTSTAMP:20260721T042500Z
UID:indico-event-156@indico.tugraz.at
DESCRIPTION:Conference on the theory and applications of formal methods in
  hardware and system verification.\n\nhttps://indico.tugraz.at/event/156/
LOCATION:Lecture room i1 (Mon+Tue)\, Schumpeter Labor (Wed-Fri) (Inffeldga
 sse 18 (Mon+Tue)\, Inffeldgasse 11 (Wed-Fri))
URL:https://indico.tugraz.at/event/156/
END:VEVENT
END:VCALENDAR