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?
Human Livelihoods Depend on Wild Flowers: Kew’s Millennium Seed Bank explained In this talk Dr Robin Probert explains why human livelihoods...
Twenty-first Century Threats: Malaria In 1955, the World Health Organization announced an ambitious plan...
The Roman Denarius and the Euro: A precedent for monetary union? A look at the way the Roman Empire has sometimes...
Twenty-first Century Threats: Tuberculosis This lecture is a part of the series Twenty-First Century...
To Wear or Not to Wear: Changing social norms with regard to eyewear Studying the history of spectacles brings together the twin themes...
St. Paul's Cathedral at 300: The Recent Refurbishment Project A continuation of the story of St Paul's... 2011 is...