Skip to main content

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

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

There are no upcoming seminars in this series at this time. Please check again soon.


Renate Henison