Verification Seminars
Unless otherwise stated, the seminars are on Wednesdays at 11.30am in room 147 of the Department of Computer Science. 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.Wednesday 20th June
(week 9, Trinity Term 2012).
11:30 in TBA
Lucia Gallina
(DAIS, University Ca' Foscari of Venice)
Coordinator | |
Related Themes | |
Related Activities |
