BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:7708-13509@trustworthy-it.com
CLASS: PUBLIC
SUMMARY:EvIT goes SICHERHEIT
DESCRIPTION:Trustworthiness and security are essential prerequisites for cr
 itical infrastructures. At the Sicherheit Symposium of the German Informati
 cs Society, Marieke Petersen and Wiebke Dönnebrink will present how formal 
 verification can fulfil these two objectives and what approaches the ecosys
 tem for trustworthy IT brings to the table. They will also demonstrate the 
 advantages of a joint network for research and development in formal verifi
 cation.\n\nMore information: https://www.haw-hamburg.de/sicherheit2026/
DTSTAMP:20260226T091151Z
DTSTART:20260317T120000Z
DTEND:20260319T160000Z
END:VEVENT
END:VCALENDAR