Ethics and Morality of Robotics
The future of robotics raises important questions for humanity. Will robots be able to act as agents in their own right and make moral and e...
Radio and PodcastLive Radio & PodcastsTechnology
Federated Logic Conference (FLoC) 2018
During the past 50 years there has been extensive, continuous, and increasing interaction between logic and computer science. In many respects, logic provides computer science with both a un...
Federated Logic Conference (FLoC) 2018 Podcast Guide
Listen to Federated Logic Conference (FLoC) 2018, a Technology podcast by Oxford University. Stream 6 episodes in English, follow new audio stories, and play episodes online on Radio and Podcast.
Show Topic
Browse this show under Technology podcasts.
Episodes
6 episodes are available for this podcast.
Discover More
Explore Technology podcasts, India podcasts and English podcasts.
Episodes
6 episodesFormal 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 se...
The Logic of Real Proofs
George Gonthier delivers a lecture at FLoc2018
Looking Backward; Looking Forward
An invited talk by the Emeritus Hillman University Professor of Computer Science, Philosophy and Mathematical Logic at Carnegie Mellon Unive...
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. Probabi...
Continuous Reasoning: Scaling the impact of formal methods
Formal reasoning about programs is one of the oldest and most fundamental research directions in computer science. It has also been one of t...
Questions About Federated Logic Conference (FLoC) 2018
Where can I listen to Federated Logic Conference (FLoC) 2018 episodes?
You can listen to Federated Logic Conference (FLoC) 2018 episodes online on Radio and Podcast. Open an episode and the site player will stream the available audio.
What is Federated Logic Conference (FLoC) 2018 about?
Federated Logic Conference (FLoC) 2018 is listed as a Technology show. The show language is listed as English.
How many Federated Logic Conference (FLoC) 2018 episodes are listed?
This page lists 6 episodes for Federated Logic Conference (FLoC) 2018.
Quick Answers About Federated Logic Conference (FLoC) 2018
Where can I listen to Federated Logic Conference (FLoC) 2018?
You can listen to Federated Logic Conference (FLoC) 2018 episodes on this page by opening an episode and using the site player.
What type of podcast is Federated Logic Conference (FLoC) 2018?
Federated Logic Conference (FLoC) 2018 is listed as a Technology show by Oxford University.
How many episodes are available?
This page lists 6 episodes for Federated Logic Conference (FLoC) 2018 where feed data is available.