Verification Seminars

Unless otherwise stated, the seminars are on Wednesdays at 11:00. If you want to volunteer to give a seminar, please contact Shaull Almagor and Michaël Cadilhac 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.

• 22Oct
  Replacing Store Buffers by Load Buffers in Total Store Ordering

  14:00 Monday 22nd October ( week 3, Michaelmas Term 2018 ) in Room 051

  Parosh Abdulla
• 24Oct
  Challenges on the Application of Formal Methods for Validation and Verification in Aerospace Systems Engineering

  14:00 Wednesday 24th October 2018 in LTB

  Leonardo Mangeruca
• 25Oct
  Solving “Simple” Word Equations

  11:00 Thursday 25th October ( week 3, Michaelmas Term 2018 ) in Room 051

  Joel Day ( Kiel University )
• 26Oct
  Matching Patterns with Variables

  11:00 Friday 26th October ( week 3, Michaelmas Term 2018 ) in Room 441

  Florin Manea ( Kiel University )

Shaull Almagor

Michaël Cadilhac

Renate Henison