IARCS Verification Seminar Series


A recording of the talks will (soon) be made available on this YouTube channel.