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...
The Roman Denarius and the Euro: A precedent for monetary union? A look at the way the Roman Empire has sometimes...
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...
Tudor Health Reform: Panel Discussion Professor Tim Connell chairs a panel discussion exploring the issues...
Tudor Health Reform: The Form and Function of Medieval Hospitals Professor Carole Rawcliffe offers an overview of the hospital as...
Science's First Mistake: Delusions In Pursuit of Theory? Science is a perpetual search for new ideas, but this...