Logic and Verification Seminar WS19