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?
King Henry III and the Communication of Power This lecture considers how Henry III of England used art to justify monarchy at the dawn of what is commonly termed the ‘parliamentary state’.
“Tony Wants”: The First Blair Premiership in Historical Perspective Th is was the Colin Matthew Memorial Lecture for the...
The Politics of Architecture in Tudor and Stuart London How the Tudor and Stuart monarchs used the buildings of...
Increasing Threats for Policing in a Digital World Adrian Leppard dissects and discusses the role that the traditional...
Promoting UK Cyber-Prosperity Through Economics We live increasingly in a digital world, born of almost...
Cyberspace Symposium: An Introduction Professor Tim Connell welcomes the audience and the speakers and...