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?
Early Mathematics Day: Solving the mystery of the World's First Computer In 1900 a group of sponge divers blown off course...
Topics in the History of Financial Mathematics: Mathematics and Foreign Exchange This is the third part of a study day. It...
Creating new species: the future of man and his dominion over other animals My lectures have shown that while most human behaviours are...
Religion and the quantum world Does quantum physics offer confirmation of some religious or spiritual...