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?
Debussy - Text and Ideas: The 'Song Triptych', and fin-de-siecle Visual Culture Debussy composed eight sets of three songs between 1891 and...
Thinking Theologically About Modern Art: Panel Discussion Speakers review issues raised by the symposium.
Thinking Theologically About Modern Art: Is there a God-shaped hole in contemporary art? Is there, as Allan Doig suggests, "a God-shaped hole in...
Thinking Theologically About Modern Art: Marching to an Antique Drum? Artist Roger Wagner offers an overview of his own career...
Thinking Theologically About Modern Art: A Sense of the Sacred? By exploring the architecture, stained glass windows and art installations...
Thinking Theologically About Modern Art: The Art of Modern Life? Professor George Pattison examines a number of works in light...
Thinking Theologically About Modern Art: The 'Desublimation' of Modern Art - A Theological Task? This seminar provides an opportunity to examine in greater details...
Emerging Markets and Climate Change This lecture considers the economic impact of climate change on...
Early Mathematics Day: Solving the mystery of the World's First Computer In 1900 a group of sponge divers blown off course...