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.

From Simulation to Verification of Hybrid and Distributed Systems
Wednesday 3rd July 2013 11:30 in 051
Sayan Mitra


Coordinator

Related Themes

Automated Verification

Related Activities

Concurrency | Hardware Verification | Security