Verification Seminars
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 |
