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

 Subscribe to this seminar series calendar.

• 6Nov
  TBD (Conformal Prediction and Applications to Safe AI Systems)

  15:00 Thursday 6th November 2025 in Seminar Room 051

  Nicola Paoletti ( King's College London )