Several VerCors team members participated in the Lorentz workshop on Contract Languages, March 4 – 8 at the Lorentz center in Leiden.