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?
Risk, Equality and Opportunity: The Roles for Government Finance Adrift and barely floating amidst financial crises, governments claim that...
Philanthropy Old: Setting the Boundary Posts Philanthropy has always been a feature of public life from...
Leading at the Top: Power and Politics - An Introduction Professor Michael Mainelli introduces the symposium and outlines what he...
Brain Reconstruction: the next biomedical breakthrough, or a biological impossibility? How close are we to true brain reconstruction? Professor Jack...
Whither to the Creeping Paralysis? Progress on the road to curing motor neuron disease The lecture will cover a description of how we diagnose...
The Changing Body: Health, Nutrition and Development in the Western World since 1700 BOOK LAUNCH At the end of the eighteenth century, the...