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 concurrency-subscribe@maillist.ox.ac.uk.
Upcoming seminarsPrevious seminars
Subscribe to this seminar series calendar.
- 15:00 Wednesday 1st May ( Trinity Term 2004 ) in 051Laura Ciobanu Radomirovic ( Maxwell Institute Herriott-Watt University )