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.

• 12Jun
  An Efficient Subclass of Fairness in Games on Graphs: Theory and Gadget-Based Algorithms

  15:00 Thursday 12th June 2025 in Bill Roscoe LT (112) + https://cs-ox-ac-uk.zoom.us/j/94619293870

  Irmak Saglam ( Max Planck Institute for Software Systems )
• 18Jun
  Real numbers generated by Finite Automata

  14:00 Wednesday 18th June ( week 8th, Trinity Term 2025 ) in Room 051, Wolfson Building

  Boris Adamczewski ( CNRS and Université Claude Bernard Lyon 1 )