Trustworthy Tuesday - October
Trustworthy Tuesday ist eine kompakte Webinarreihe in der Mittagszeit, das spannende Einblicke in das Feld vertrauenswürdige IT-Systeme und formale Verifikation vermittelt. Dieses Mal gibt Christoph Lüth eine Einführung in Formale Software Verifikation.
Beschreibung
Trustworthy Tuesday ist eine kompakte Webinarreihe in der Mittagszeit, das spannende Einblicke in das Feld vertrauenswürdige IT-Systeme und formale Verifikation vermittelt. Mit Input-Vorträgen von 15-20min. laden wir die Teilnehmenden zu einer anschließenden Diskussion und einer Runde Fachfragen ein, um aktuelle Entwicklungen, Best Practices und praktische Ansätze zu beleuchten.
Die Reihe richtet sich sowohl an Studierende als auch an Interessierte, die einen Einblick zu formalen Methoden und vertrauenswürdiger IT bekommen wollen – ohne ein komplettes Seminar zu belegen. Das kompakte Format eignet sich als „Wissens-Snack“ in der Mittagspause.
Dieses Mal gibt Christoph Lüth eine Einführung in Formale Software Verifikation.
Hier anmelden: https://de.surveymonkey.com/r/RWCH7CG