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.

• 22May
  Probabilistic Shielding for Safe Reinforcement Learning

  15:00 Thursday 22nd May ( Trinity Term 2025 ) in Seminar Room 051 + https://cs-ox-ac-uk.zoom.us/j/94619293870

  Edwin Hamel-de le Court ( Imperial College London )