Will the last listener please turn out the light? An examination of the challenge that the broken contract between...
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?
Literary Londoners: John Keats This lecture continues the Literary Londoners series by delving into...
Literary Londoners: William Blake This lecture begins the Literary Londoners series with a journey...
Your night is my day: London’s Underground never sleeps As the commuters of London leave and the last tubes...