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 Atmospheric Physics Behind Net Zero Before net zero, climate policy was all about contraction and...
Words and Pictures: Mixed Encounters This beautifully illustrated lecture explores the connections and interactions between...
Why do people play the Lottery? Make up your mind! It has often been said that greed and fear drive...
New social benefits from an old Docklands discovery 2006 marks the sesquicentenary of William Perkin's discovery of mauveine...
Human Rights Law: Bringing Power to the Powerless This lecture looks at the power given to advocates in...
Safety Underground: Mining and the Miners' Lamp Mining disasters such as those at High Blantyre in 1877...
Login
