BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The business of proof - Byron Cook (Amazon)
DTSTART:20220706T150000Z
DTEND:20220706T160000Z
UID:TALK175772@talks.cam.ac.uk
DESCRIPTION:With only a few niche applications\, the software industry had
  not previously figured out how to make deep use of formal mechanical reas
 oning based on mathematical logic. At Amazon we&rsquo\;ve recently seen tr
 emendous adoption of the approach by product groups\, with a variety of cu
 stomer-facing launches that use automated reasoning\, and numerous interna
 l proof projects.&nbsp\; This describes those projects\, and captures aspe
 cts of why Amazon has been successful where others have been less so.&nbsp
 \; The talk also describes challenges that we face to scale the approach t
 o the next level.&nbsp\;
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR