Logic and Verification Seminar WS24