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...
Creating new species: the future of man and his dominion over other animals My lectures have shown that while most human behaviours are...
Biological clocks: Human and animal concepts of time Professor Keith Kendrick dicusses the relationship between human and animal...
Human and animal emotions: Are they the same? “To understand, as far as is possible, the source or...
“Knowing you, knowing me”: can other animals have an identity crisis? Success in achieving a true sense of identity of self...