Verification Seminars

Unless otherwise stated, the seminars are on Thursdays at 14:00. If you want to volunteer to give a seminar, please contact Andrew Ryzhikov. The talks are announced via talk-announce@cs.ox.ac.uk.

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

• 16Jan
  World Logic Day, 2025

  13:30 Thursday 16th January 2025 in Lecture Theatre LTA Wolfson building and online

  Talk series