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.

• 27Jun
  Population Protocols and Predicates

  11:00 27th June 2018 in Tony Hoare Room, RHB

  Pierre Ganty ( IMDEA Madrid )

Shaull Almagor

Michaël Cadilhac

Photo not availableJessica Mundy

Jordan Summers Young