Trustworthy Tuesday rockt hart(ware)
Trustworthy Tuesday rockt weiter!
Diesen Monat gibt Wolfgang Kunz eine Einführung zur Formalen Hardware Verifikation. Kommt vorbei!
Einmal im Monat präsentieren Forscher ihre Arbeit im Bereich der formalen Verifikation. Nach dem Mittagessen um 14 Uhr UTC +1 können Sie an unserem „Snackable Science”-Format teilnehmen.
Wir möchten das komplexe Thema der formalen Verifikation und vertrauenswürdiger IT in kleine Häppchen aufteilen. Nach der Mittagspause bieten ein kurzer Input und eine Diskussionsrunde Einblicke in Forschungsansätze und Best Practices. Wir laden Sie ein, nach dem Mittagessen dieses neue Wissen zu „snacken”.
In unserer nächsten Sitzung am 11. November wird Wolfgang Kunz mit seinem Vortrag „Designing correct and secure chips: how can formal methods help?” eine Einführung in die formale Hardwareverifikation geben. Seien Sie um 14 Uhr UTC+1 auf Zoom dabei.
