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 History of Street Performance: ‘Music by handle’ and the Silencing of Street Musicians in the Metropolis A discussion of the history of busking and street music...
When Maths Doesn't Work: What we learn from the Prisoners' Dilemma Game Theory is a branch of mathematics which tells us...
This Lecture Will Surprise You: When Logic is Illogical Mathematics offers certainty. That there are infinitely many prime numbers...
Educationally 'Green': Environmental Research, University Teaching and Campus Greening UK universities have generated excellent environmental performance as well as...
Sir Robert Moray - Soldier, scientist, spy, freemason and founder of The Royal Society Sir Robert Moray brought together members of Gresham College, rich...
How Folktales Contributed to the Confucianisation of Korea: Mother Green Tree Frog and her Children Through an examination of selected Korean folktales, the lecture will...
Karl Pearson's Gresham Lectures on Geometry (1890-1894) Karl Pearson, as well as being the Gresham Professor of...
Some History of Latin Squares in Experiments Professor Rosemary A. Bailey takes the audience through the history...