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?
Mortality Past and Present: John Graunt's Bills of Mortality - Introduction An introduction to the conference marking the 350th anniversary of the...
Acting on Evidence: How Medical Research has informed Historical Drama John Powell is an experienced medical advisor on a range...
Human Livelihoods Depend on Wild Flowers: Kew’s Millennium Seed Bank explained In this talk Dr Robin Probert explains why human livelihoods...
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...
To Wear or Not to Wear: Changing social norms with regard to eyewear Studying the history of spectacles brings together the twin themes...