Logic And Verification Winter 2023