BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Program Verification: a 70+-Year History - Moshe Vardi (Rice Unive
 rsity)
DTSTART:20220705T133000Z
DTEND:20220705T143000Z
UID:TALK175784@talks.cam.ac.uk
DESCRIPTION:The year 2019 saw the 70th anniversary to Alan Turing's 1949 p
 aper\, "Checking a Large Routine" and the 50th anniversary of Tony Hoare's
  paper\, "An Axiomatic Basis for Compuer Programming". In the latter paper
 \, Hoare stated: "When the correctness of a program\, its compiler\, and t
 he hardware of the computer have all been established with mathematical ce
 rtainty\, it will be possible to place great reliance on the results of th
 e program\, and predict their properties with a confidence limited only by
  the reliability of the electronics." In this talk\, I will review the his
 tory of this vision\, describing the obstacles\, the controversies\, and p
 rogress milestones. I will conclude with the description of both impressiv
 e progress and dramatic failures exhibited over the past few years.&nbsp\;
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR