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.

• 23Apr
  Word equations by recompression.

  11:00 Monday 23rd April 2018 in Room 441 - Dept. of Computer Science

  Artur Jeż ( University of Wrocław )
• 26Apr
  An Update on Dynamic Complexity Theory

  11:00 Thursday 26th April ( week 1, Trinity Term 2018 ) in Room 441 - Dept. of Computer Science

  Thomas Zeume ( TU Dortmund )
• 2May
  TBC

  11:00 Wednesday 2nd May ( week 2, Trinity Term 2018 ) in 051

  Aditya Nori ( Microsoft Research Cambridge )
• 17May
  TBC

  11:00 17th May ( week 4, Trinity Term 2018 ) in Room 441 - Dept. of Computer Science

  Philippe Schnoebelen ( ENS Paris-Saclay )
• 31May
  Traces, interpolants, and automata : Ultimate Automizer's approach to software verification

  11:00 Thursday 31st May ( week 6, Trinity Term 2018 ) in Room 441 - Dept. of Computer Science

  Matthias Heizmann ( University of Freiburg, Germany )

Shaull Almagor

Michaël Cadilhac

Photo not availableJessica Mundy

Jordan Summers Young