×

Radio and PodcastLive Radio & Podcasts

Discover Radio

Radio Radio by Country Radio by Genre Radio by Language Favorite Radio Radio History

Discover Podcast

Podcasts Podcast by Country Podcast by Category Podcast by Language Podcast History Subscribed Podcasts Favorite Episodes

Helpful Links

Widget About Us Contact Editorial Policy Privacy Policy Terms of Use

Mobile App

Listen Radio and Podcast Anywhere Anytime

Download our app for smooth radio and podcast listening on Android and iOS.

▶Get it onGoogle Play

Radio and PodcastLive Radio & Podcasts

Your world of live radio, podcasts and music.

F IG X in P ▶

Radio and PodcastLive Radio & Podcasts

Search Radio and Podcast

Podcasts›Federated Logic Conference (FLoC) 2018›The Logic of Real Proofs

The Logic of Real Proofs artwork

Technology

The Logic of Real Proofs

Federated Logic Conference (FLoC) 2018 by Oxford University

Jul 16, 201866:11Technology

George Gonthier delivers a lecture at FLoc2018

Related Episodes

Continue listening to more episodes from Federated Logic Conference (FLoC) 2018.

Ethics and Morality of Robotics

Jul 18, 2018 - 53:21

The future of robotics raises important questions for humanity. Will robots be able to act as agents in t...

Formal Reasoning about the Security of Amazon Web Services

Jul 18, 2018 - 51:29

Amazon Web Services (AWS) uses and develops tools based on formal verification to reason about the securi...

Looking Backward; Looking Forward

Jul 13, 2018 - 62:37

An invited talk by the Emeritus Hillman University Professor of Computer Science, Philosophy and Mathemat...

Pseudo deterministic algorithms and proofs

Jul 13, 2018 - 66:47

In this talk I will describe what is known about pseudo-deterministic algorithms in the sequential, sub-l...

Continuous Reasoning: Scaling the impact of formal methods

Jul 10, 2018 - 53:19

Formal reasoning about programs is one of the oldest and most fundamental research directions in computer...