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?
The Cambridge Economic History of Modern Britain The fourth edition of The Cambridge Economic History of Modern...
Faith in Women? The changing role of women and girls in the music and ministry of the church Walk into any church or cathedral today and you might...
Education, Research, and Government in the Ancient Greek World What is the purpose of education, who should provide it...
Rights and Liberal Interventionism in International Affairs There is a distinct school of thought in our day...
Questions and Answers from the Middle Class Recruits to Communism Sir Roderick Floud leads a questions and answer session following...
James Klugman: A Case Study An examination of the prominent intellectual and communist, James Klugman...
An Introduction to the Middle Class Recruits to Communism Seminar Nicholas Deakin discusses the progress of the previous seminars and...
Michelangelo, Copernicus and the Sistine Chapel It is argued that Copernicus’ theory of the sun-centred universe...