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?
Topics in the History of Financial Mathematics: Mathematics and Foreign Exchange This is the third part of a study day. It...
Covenants without Swords; Swords without Covenants Hobbes declared that 'covenants, without the sword, are but words'...
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...