Trustworthy Tuesday is a compact series of lunchtime webinars that provide exciting insights into the field of trustworthy IT systems and formal verification. With input presentations followed by discussions on specialist topics, we invite participants to explore 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” after lunch.

Join us on the third Tuesday of every month at 02.00 pm CET.