Marieke Huisman will give an invited talk at DisCoTec on June 20th 2024. The title of her presentation is "VerCors: Inclusive Software Verification".