Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Covid-19 Information
Toggle
Main Menu
Home
Admissions
Research
News & Events
(current)
About Us
Alumni
Our Students
Innovation
Home
News & Events
Events
Verification Seminars
TBA
TBA
James Worrell
( Oxford University Computing Laboratory )
28
May
11:30 28th May 2008 ( week 6, Trinity Term 2008 )
Room 051, Oxford University Computing Laboratory
Share this:
Seminar Series
Verification Seminars
See also
James Worrell
Concurrency
Hardware Verification
Security
Automated Verification
Coordinators
Nikhil Balaji
Renate Henison
News & Events
News
Events
Upcoming Events
Events for prospective students and schools groups
Seminars by Series
Seminars by Date
Lecture Timetables
Back to Top