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?
Choosing a Past for the Future: Why today's environment policy is also history (but doesn't know it) It is hard to imagine an area of policy more...
Arithmetic by Computer and by Human Long multiplication, long division and logarithms are, for many, dim-remembered...
Children's Self-Control and the Health and Wealth of their Nation: Tracking 1000 children from birth to maturity Policy-makers are considering large-scale early intervention programs to enhance children's...
The psychological health of the UK Armed Forces The mental health of the United Kingdom Armed Forces is...
Brain Reconstruction: the next biomedical breakthrough, or a biological impossibility? How close are we to true brain reconstruction? Professor Jack...
Emerging Markets and Climate Change This lecture considers the economic impact of climate change on...
Rare and Endangered Languages - 'Why should we protect endangered languages?' Dr Nicholas Ostler argues for the preservation of the world's...