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.

• 7May
  Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice

  15:00 Thursday 7th May ( week 2, Trinity Term 2026 ) in Seminar Room 051

  Ekaterina Komendantskaya ( Heriot-Watt University and University of Southampton )