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 auf der SICHERHEIT
DESCRIPTION:Zuverlässige und Sicherheit sind unbedingte Voraussetzung für k
 ritische Infrastrukturen. Bei der Fachtagung Sicherheit der Gesellschaft fü
 r Informatik e.V. stellen Marieke Petersen und Wiebke Dönnebrink vor, wie f
 ormale Verifikation diese zwei Ziele erfüllen kann und welche Ansätze das Ö
 kosystem für vertrauenswürdige IT dabei mitbringt. Dabei zeigen sie, welche
  Vorteile ein gemeinsames Netzwerk für die Forschung und Entwicklung in der
  formalen Verifikation haben kann.\n\nMehr Informationen hier: https://www.
 haw-hamburg.de/sicherheit2026/
DTSTAMP:20260226T091136Z
DTSTART:20260317T120000Z
DTEND:20260319T160000Z
END:VEVENT
END:VCALENDAR