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.

• 20Nov
  Towards Uniform Online Spherical Tessellations

  14:00 Wednesday 20th November ( week 6, Michaelmas Term 2019 ) in LTB Wolfson Building

  Paul Bell ( Liverpool John Moores University )
• 21Nov
  An overview of the Arcade Learning Environment (ALE)

  11:00 Thursday 21st November ( week 6, Michaelmas Term 2019 ) in Lecture Theatre B, Wolfson Building

  Hadrien Pouget
• 26Nov
  The reachability problem for Petri nets is not elementary

  11:00 Tuesday 26th November ( week 7, Michaelmas Term 2019 ) in LTB

  Ranko Lazic ( University of Warwick )
• 28Nov
  TBA

  11:00 Thursday 28th November ( week 7, Michaelmas Term 2019 ) in Lecture Theatre B, Wolfson Building

  Suguman Bansal ( Rice university, USA )