Skip to main content
Home

Main navigation

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

Main navigation

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

Looking Backward; Looking Forward

Series
Federated Logic Conference (FLoC) 2018
Video Embed
An invited talk by the Emeritus Hillman University Professor of Computer Science, Philosophy and Mathematical Logic at Carnegie Mellon University at FLoC2018

More in this series

View Series
Journey of a Molecular Detective; David Sherratt

Pseudo deterministic algorithms and proofs

In this talk I will describe what is known about pseudo-deterministic algorithms in the sequential, sub-linear and parallel setting.
Previous
Journey of a Molecular Detective; David Sherratt

The Logic of Real Proofs

George Gonthier delivers a lecture at FLoc2018
Next

Episode Information

Series
Federated Logic Conference (FLoC) 2018
People
Dana Scott
Keywords
floc
computer science
Department: Department of Computer Science
Date Added: 13/07/2018
Duration: 01:02:37

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