IARCS Verification Seminar Series