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

Antibiotic Resistance: Calling on Citizens to Help Tackle the Problem

Professor Jacqueline McGlade
Tuesday, 25 September 2018 - 6:00PM
WATCHED

Climate Change: A Defining Challenge for the 21st Century

Dame Julia Slingo FRS
Thursday, 14 June 2018 - 6:00PM
WATCHED
Part of a series

Computers and the Future

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

Who's to Blame for Britain's Floods?

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

Computers and Warfare

Professor Martyn Thomas CBE
Tuesday, 29 May 2018 - 6:00PM
WATCHED
Part of a series

Media Reporting of Medical Advances: Helpful or Misleading?

Professor Martin Elliott
Wednesday, 23 May 2018 - 6:00PM
WATCHED
Part of a series

Facts Matter, But They Aren't Enough: Science, Faith and Meaning in Life

Professor Alister McGrath
Tuesday, 8 May 2018 - 1:00PM
WATCHED

What is it about Cocaine that makes it addictive?

Dr William Harrop-Griffiths
Monday, 6 February 2017 - 1:55PM
WATCHED

The Role of Collaboration in Nature and its Link to Success

Professor Steve Jones
Tuesday, 31 January 2017 - 6:59PM
WATCHED

The Offspring of Semi-Female Mimics in Ruffs

Professor Steve Jones
Tuesday, 31 January 2017 - 6:58PM
WATCHED

What Is The Advantage To The Flowers That Are 'Orchid-Mimics'?

Professor Steve Jones
Tuesday, 31 January 2017 - 6:56PM
WATCHED

An Interesting Fact About Female Swordtail Fish

Professor Steve Jones
Tuesday, 31 January 2017 - 6:55PM
WATCHED

The Sideways Motion of a Ponytail

Professor Raymond E. Goldstein
Wednesday, 9 November 2016 - 6:58PM