University of Otago logo. Computer and Information Science Seminars

Seminar Homepage

2014 Computer and Information Science Seminar Series

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 .

October

October 30
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 .