I am co-organising the Verification Mentoring Workshop at FLoC 2022