Ethics and Morality of Robotics
Jul 18, 2018 - 53:21
Radio and PodcastLive Radio & PodcastsLoading episode
Fetching episode details...
Radio and PodcastLive Radio & PodcastsRadio and PodcastLive Radio & PodcastsFetching episode details...
Radio and PodcastLive Radio & PodcastsGeorge Gonthier delivers a lecture at FLoc2018
The Logic of Real Proofs is an episode from Federated Logic Conference (FLoC) 2018 by Oxford University. George Gonthier delivers a lecture at FLoc2018 The episode was published on Jul 16, 2018 and runs for 66:11. Use the player to listen o...
This episode belongs to Federated Logic Conference (FLoC) 2018.
Use the player on this page to stream the episode online.
Published Jul 16, 2018, 66:11 long, audio available.
Continue listening to more episodes from Federated Logic Conference (FLoC) 2018.
Jul 18, 2018 - 53:21
Jul 18, 2018 - 51:29
Jul 13, 2018 - 62:37
Jul 13, 2018 - 66:47
Jul 10, 2018 - 53:19
George Gonthier delivers a lecture at FLoc2018
You can listen to The Logic of Real Proofs online on Radio and Podcast. Open the player on this page to stream the available audio.
The Logic of Real Proofs is an episode from Federated Logic Conference (FLoC) 2018 by Oxford University.
This episode is 66:11 long.
This episode was published on Jul 16, 2018.
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Yes. This page shows related episodes from Federated Logic Conference (FLoC) 2018 when more episodes are available from the podcast feed.
You can listen to The Logic of Real Proofs on this page when the episode audio is available from the podcast feed.
The Logic of Real Proofs is from Federated Logic Conference (FLoC) 2018 by Oxford University.
Published Jul 16, 2018 and 66:11 long