Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education
Error loading media: File could not be played
00:00
00:00
 

The Logic of Real Proofs

Series
Federated Logic Conference (FLoC) 2018
Video Embed
George Gonthier delivers a lecture at FLoc2018

More in this series

View Series
Journey of a Molecular Detective; David Sherratt

Looking Backward; Looking Forward

An invited talk by the Emeritus Hillman University Professor of Computer Science, Philosophy and Mathematical Logic at Carnegie Mellon University at FLoC2018
Previous
Journey of a Molecular Detective; David Sherratt

Formal Reasoning about the Security of Amazon Web Services

Amazon Web Services (AWS) uses and develops tools based on formal verification to reason about the security of AWS itself, as well as the security of systems that customers build on AWS.
Next
Licence
Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Episode Information

Series
Federated Logic Conference (FLoC) 2018
People
George Gonthier
Keywords
floc
computer science
Department: Department of Computer Science
Date Added: 16/07/2018
Duration: 01:06:11

Subscribe

Apple Podcast Video Video RSS Feed

Download

Download Video

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
'Oxford Podcasts' Twitter Account @oxfordpodcasts | MediaPub Publishing Portal for Oxford Podcast Contributors | Upcoming Talks in Oxford | © 2011-2022 The University of Oxford