Making Software 'Correct by Construction' Is it possible to build software so that you know that is is correct? How could this be done? Has anyone tried? What would it cost?
Acting on Evidence: How Medical Research has informed Historical Drama John Powell is an experienced medical advisor on a range...
The BBC - Defending the public interest From 2007 the Governors were replaced by Trustees; but there...
The BBC - Protecting it from the Government For 80 years the BBC Governors were charged with regulating...
Whither to the Creeping Paralysis? Progress on the road to curing motor neuron disease The lecture will cover a description of how we diagnose...
Culture and Resistance: Indigenous Responses to a Globalised World This lecture looks at the place occupied by indigenous cultures...
Early Mathematics Day: Solving the mystery of the World's First Computer In 1900 a group of sponge divers blown off course...
Press Coverage of Mental Health and Suicide A reflection on press coverage of mental health issues and...
Topics in the History of Financial Mathematics: Mathematics and Foreign Exchange This is the third part of a study day. It...