OXFORD UNIVERSITY COMPUTING LABORATORY

Departmental Seminars

MICHAELMAS TERM 2007

This is a series of non-specialist lectures which should be of interest to most members of the Computing Laboratory, as well as to other members of the University.

Everyone is very welcome to come, and to suggest new topics and speakers to the co-ordinator.

Tuesdays at 4.30pm in the Lecture Theatre A (unless otherwise stated)


Tuesday 9th October (week 1)

Tuesday 16th October (week 2)
Prof Nikola Kasabov, Knowledge Engineering and Discovery Research Institute (KEDRI) Auckland University of Technology, New Zealand
Evolving Systems and Their Modelling: From Quantum-, and Molecular-, To Cognitive, and Evolutionary

Tuesday 23rd October (week 3)
Rod Chapman, Praxis
Correctness by Construction of High-Integrity Software

Tuesday 30th October (week 4)
The Strachey Lecture in Computing Science
Professor Bertrand Meyer,
Software Engineering, ETH Zurich
The world is covariant: is it safe?

Tuesday 6th November (week 5)
Ian Horrocks
Semantic Web: The Story So Far

Tuesday 13th November (week 6)
Diane Litman, University of Pittsburgh, USA
Spoken Dialogue for Intelligent Tutoring Systems: Opportunities and Challenges

Tuesday 20 November at 4:30pm in the Lecture Theatre
Departmental Seminar
Blanca Rodriguez
Multiscale modelling of the heart: insight into cardiac arrhythmogenesis and its therapies
Boris Motik
Current Problems in Ontology Reasoning

Tuesday 27th November (week 8)
Dave Binkley
Finding and Busting Dependence Clusters


Co-ordinator: TBC
[Oxford Spires]



Oxford University Computing Laboratory Courses Research People About us News