University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Verification Seminars

View all seminar series

Unless otherwise stated, the seminars are on Wednesdays at 11.30am. If you want to volunteer to give a seminar, please contact Stefan Kiefer. If you would like to be reminded of forthcoming seminars, then you might like to subscribe to the concurrency mailing list by emailing concurrency-subscribe@maillist.ox.ac.uk.

Forthcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

Tuesday 28th May (week 6, Trinity Term 2013). 11:00 in Lecture Theatre A, Wolfson Building, Department of Computer Science
Riccardo Proietti (Luigi Sacco Hospital of Milan)
Wednesday 19th June (week 9, Trinity Term 2013). 11:30 in 051
Katya Komendantskaya (University of Dundee)


Coordinator

Related Themes

Related Activities