Trustworthy Tuesday rocks hard(ware)

Once a month, researchers will present their work in formal verification. After lunch at 2 pm UTC +1, you can join our “snackable science” format.

We want to break down the complex topic of formal verification and trustworthy IT into small bites. After the lunch break, a short input and a discussion round will provide an insight into research approaches and best practices. We invite you to “snack” on this new knowledge post-lunch.

In our next session on November 11th, Wolfgang Kunz will give an introduction to formal hardware verification with his talk “Designing correct and secure chips: how can formal methods help?” Join us on Zoom at 2pm UCT+1.