Prof. Marieke Huisman, leader of the FMT group and the VerCors team, was one of the speakers at a public symposium called Verificatie van software: erg complex maar in ieders belang (Software verification: very complex but in everyone's interest) at the Koninklijke Nederlandse Akademie van Wetenschappen.

She gave an overview of the area of deductive program verification, and how VerCors contributes to this area. Here’s an impression of the evening. A recording of the symposium will be made available via TXT radio.