Verification Seminars

Unless otherwise stated, the seminars are on Thursdays at 11:00. If you want to volunteer to give a seminar, please contact Nikhil Balaji If you would like to be reminded of forthcoming seminars, please subscribe to the concurrency mailing list by emailing concurrency-subscribe@maillist.ox.ac.uk.

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

• 12Sep
  Martingales for Probabilistic Termination and Safety

  11:00 Thursday 12th September 2019 in Room 051

  Petr Novotný ( Faculty of Informatics, Masaryk University, Brno, Czech Republic )