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?
Sir Hans Sloane: 350 years of preserving history An overview of the history of botanical collecting: the characters...
Topics in the History of Financial Mathematics: Mathematics and Foreign Exchange This is the third part of a study day. It...
Why is Africa still the poorest continent? Among 29 countries where human life expectancy is still 50...
Franklin D. Roosevelt, President 1933-1945 - Foreign Policy Elected in the midst of the Great Depression, Roosevelt transformed...