Over 4000 free audio and video lectures, seminars and teaching resources from Oxford University.
Skip to Content Skip to Navigation

Thank you for visiting! Please consider filling out our questionnaire. This will help us improve our service providing free educational media recorded from the University of Oxford. Many thanks!

Click here to access the survey (3 minutes to complete).

George Gonthier

Series featuring George Gonthier

  • Federated Logic Conference (FLoC) 2018
# Episode Title Description People Date
1 Creative Commons The Logic of Real Proofs George Gonthier delivers a lecture at FLoc2018 George Gonthier 16 Jul 2018