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?
Ten Things You Really Should Know About Ancient Greek Democracy Myths abound about ancient Greek democracy – actually, there was no such thing. That is, there was no such one thing.
Why Did This Unique Form of Government Start in Athens? A question from the lecture 'Ten Things You Really Should...
The System of Accountability and the Exposure of those Accused A question from the lecture 'Ten Things You Really Should...
Immigrants and the Economy: Positive Impact and Political Disregard What does immigration give to an economy? Is this offset...
Cultural Heritage and War: Welcome and Introduction As part of the symposium entitled ‘Cultural Heritage and War’, Professor Tim Connell opens the debate with an introduction to the topic.
A Preview of 'Does Science Rob Nature Of Its Mystery And Beauty?' Professor McGrath introduces the first lecture entitled ‘Does Science Rob...
A Preview of 'Does Faith Make Sense Of Things?' Professor McGrath introduces the second lecture entitled ‘Does Faith Make...