Robert Rubbens presented the paper "On Deductive Verification of an Industrial Concurrent Software Component with VerCors", by Raul E. Monti; Robert Rubbens and Marieke Huisman, at the ISOLA conference 2022, in Greece.