Speaker: Holger Hermanns (Saarland University) Title: “Runtime Verification for the Masses” Date: 10/02/2022 – Meeting Link Time: 16:00-17:00 (UTC (GMT))