Thursday, 18 March 2004, 12:00AM
Barnard's Inn Hall

The Verifying Compiler: A Grand Challenge for computing research of the 21st

Tony Hoare
Related Future Lectures
Related Past Lectures
WATCHED
Part of a series

Development, Developers and the Water Environment

Professor Carolyn Roberts
Thursday, 12 May 2016 - 6:00PM
WATCHED
Part of a series

Big Data: The Broken Promise of Anonymisation

Professor Martyn Thomas CBE
Tuesday, 14 June 2016 - 6:00PM
WATCHED
Part of a series

Black Holes

Professor Joseph Silk
Wednesday, 28 September 2016 - 1:00PM
WATCHED
Part of a series

Are you the Customer or the Product?

Professor Martyn Thomas CBE
Tuesday, 18 October 2016 - 6:00PM
WATCHED
Part of a series

The Expanding Universe

Professor Joseph Silk
Wednesday, 26 October 2016 - 1:00PM
WATCHED
Part of a series

Safety-Critical Systems

Professor Martyn Thomas CBE
Tuesday, 10 January 2017 - 6:00PM
WATCHED
Part of a series

Cybersecurity

Professor Martyn Thomas CBE
Tuesday, 3 May 2016 - 6:00PM
WATCHED

Our Future Off Earth

Professor Christopher Impey
Tuesday, 26 April 2016 - 6:00PM
WATCHED
Part of a series

Britain's Damaged Rivers

Professor Carolyn Roberts
Thursday, 7 April 2016 - 6:00PM
WATCHED
Part of a series

The Dark Side of the Universe

Professor Joseph Silk
Wednesday, 6 April 2016 - 1:00PM
WATCHED
Part of a series

Computers, People and the Real World

Professor Martyn Thomas CBE
Tuesday, 5 April 2016 - 6:00PM
WATCHED

Why Society Needs Astronomy and Cosmology

Dr Roberto Trotta
Tuesday, 15 March 2016 - 6:00PM
WATCHED
Part of a series

What is the Potential of Renewable Energy Being Used for Extra-orbital Solar Sails?

Professor Christopher Impey
Tuesday, 26 April 2016 - 6:50PM
WATCHED
Part of a series

100 Years to Master the Solar System

Professor Christopher Impey
Tuesday, 26 April 2016 - 6:40PM
WATCHED
Part of a series

Space Elevator: “50 Years after Everyone Stops Laughing”

Professor Christopher Impey
Tuesday, 26 April 2016 - 6:35PM
WATCHED
Part of a series

Science and Hollywood: New Avatar Movie or New Kepler Space Observatory?

Professor Christopher Impey
Tuesday, 26 April 2016 - 6:30PM
WATCHED
Part of a series

China’s Space Programme: Ambition and Concern

Professor Christopher Impey
Tuesday, 26 April 2016 - 6:25PM
WATCHED
Part of a series

The Apollo Race to the Moon: an Incredible Technological Achievement

Professor Christopher Impey
Tuesday, 26 April 2016 - 6:20PM