This page provides a list of seminars that will be presented on the dates/times/places specified below. Where available, an abstract of the seminar can be displayed by clicking on the title of the seminar. Some seminars will be recorded and those videos will available for download from within the university.
If you wish to be added to a mailing list in order to automatically receive announcements of the weekly seminars, then please send an e-mail message to the seminar list administrator .
Precise worst-case execution time (WCET) bounding using satisfiability modulo theory (SMT) testing
Dr David Monniaux, CNRS, France
Owheo 106 - 1:00 pm, Thursday 30 October
Last modified: Tuesday, 28-Oct-2014 08:13:20 NZDT
This page is maintained by the seminar list administrator .