Trustworthy Tuesday begins on 22.10.
Trustworthy Tuesday is a compact lunchtime webinar series that provides captivating insights into the field of trustworthy IT systems and formal verification.
With 15-20 minute input presentations, we invite participants to join in a subsequent discussion and round of technical questions to shed light on current developments, best practices and practical approaches.
The series is aimed at both students and anyone interested in gaining an insight into formal methods and trustworthy IT – without having to take a full seminar. The compact format is ideal as a ‘knowledge snack’ during your lunch break.
Register here: https://de.surveymonkey.com/r/RWCH7CG
