Logic and Verification Seminar SS25