Logic and Verification Seminar WS2526