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?
Culture and Resistance: Indigenous Responses to a Globalised World This lecture looks at the place occupied by indigenous cultures...
Tudor Health Reform: Panel Discussion Professor Tim Connell chairs a panel discussion exploring the issues...
Tudor Health Reform: The Form and Function of Medieval Hospitals Professor Carole Rawcliffe offers an overview of the hospital as...
Early Mathematics Day: Solving the mystery of the World's First Computer In 1900 a group of sponge divers blown off course...
Topics in the History of Financial Mathematics: Mathematics and Foreign Exchange This is the third part of a study day. It...
After Iraq - Shall we ever intervene again? The former leader of the Liberal Democrats, the Rt Hon...
The Politics of Architecture in Tudor and Stuart London How the Tudor and Stuart monarchs used the buildings of...
Creating new species: the future of man and his dominion over other animals My lectures have shown that while most human behaviours are...