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?
State Involvement in War Crimes Trials International war crimes courts deal only with the responsibility of...
Middle class recruits to Communism in the 1930s (Seminar): Panel Discussion Lord Denis Healey, Professor the Lord Peter Hennessy, Juliet Gardiner...
The Radiant Illusion: Middle class recruits to Communism in the 1930's (Seminar) - Panel Response Professor the Lord Peter Hennessy, Juliet Gardiner and Lord Denis...
The Radiant Illusion - Middle class recruits to Communism in the 1930's (Seminar) "I knew what I was supposed to feel, what it...
The Economics of the Very Long Run: From Fire to Finance in Two Million Years An economist's view of two million years of human history...
Incest and Folk-Dancing: Two things to be avoided How closely are we related to each other, and how...
The Governance and Voting System of the City of London The unique governance and voting system of the Square Mile...