Logic and Verification Seminar SS24