OXFORD UNIVERSITY COMPUTING LABORATORY

Concurrency, Verification & Security Seminars

View all seminar series

Unless otherwise stated, the seminars are on Wednesdays at 11.30am in room 051 of the Computing Laboratory. If you want to volunteer to give a seminar, please contact Philip Armstrong. 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 seminars | previous seminars

Wednesday 3rd December(week 8, Michaelmas Term 2008) SAT-Solving and Software Bounded Model Checking: Trends and Applications Carsten Sinz (University of Karlsruhe)

Random Image
Random Image
Random Image