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.

• 28Apr
  Preservation Theorems for Transducer Outputs

  14:00 28th April ( week 1, Trinity Term 2026 ) in 051

  Mihir Vahanwala ( Max Planck SWS )