On Monday February 3rd, Marieke Huisman gave a presentation titled 'The VerCors verifier: a verifier for multiple concurrent programming languages' for the Software Science group at the Radboud University Nijmegen, during a seminar organized on the occasion of the PhD defense of Ike Mulder.