Marieke Huisman will give an invited talk at the Frama-C Days on June 14th 2024. The title of her presentation is "The VerCors verifier: a verifier for multiple concurrent programming languages".