Verification Seminars

Unless otherwise stated, the seminars are on Thursdays at 15:00. If you want to volunteer to give a seminar, please contact Agustín Martínez Suñé. The talks are announced via talk-announce@cs.ox.ac.uk.

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

• 12Mar
  Neural network verification: proving and enforcing adversarial robustness, and beyond

  14:00 Thursday 12th March ( Hilary Term 2026 ) in Seminar Room 051

  Dr. Alessandro De Palma ( LSE )