Logic and Verification Winter 2022