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?
The Future of the Past: Treasures from the RIBA Collections The British Architectural Library at the RIBA is the largest...
Human Livelihoods Depend on Wild Flowers: Kew’s Millennium Seed Bank explained In this talk Dr Robin Probert explains why human livelihoods...
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...
Emerging Markets and Climate Change This lecture considers the economic impact of climate change on...
The Changing Body: Health, Nutrition and Development in the Western World since 1700 BOOK LAUNCH At the end of the eighteenth century, the...