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?
Utopia: The Symbol of Mount Athos in the West A conference held jointly with the Warburg Institute and the...
Why do people play the Lottery? Make up your mind! It has often been said that greed and fear drive...
Take my profits, please! Volatility reduction and ethics With increasing emphasis on the social and ethical obligations of...
Goldilocks Government and the Market: not too little, not too much, but just right Markets are one of the greatest tools to emerge from...
The perverse and the reverse: how bad measures skew markets Can any market be said to fail? Without clear measures...