Verification Seminars
Unless otherwise stated, the seminars are on Thursdays at 15:00. If you want to volunteer to give a seminar, please contact Rajarshi Roy. The talks are announced via talk-announce@cs.ox.ac.uk.
Upcoming seminarsPrevious seminars

- 14:00 Wednesday 18th June ( week 8th, Trinity Term 2025 ) in Bill Roscoe LT, Wolfson BuildingBoris Adamczewski ( CNRS and Université Claude Bernard Lyon 1 )