Formal Reasoning about the Security of Amazon Web Services
Jul 18, 2018 - 51:29
Radio and PodcastLive Radio & PodcastsTechnology
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 ethical decisions? Impressive advances in artificial intelligence mean robots may...
About This Episode
Ethics and Morality of Robotics is an episode from Federated Logic Conference (FLoC) 2018 by Oxford University. The future of robotics raises important questions for humanity. Will robots be able to act as agents in their own right and make...
Podcast
This episode belongs to Federated Logic Conference (FLoC) 2018.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published Jul 18, 2018, 53:21 long, audio available.
Related Episodes
Continue listening to more episodes from Federated Logic Conference (FLoC) 2018.
The Logic of Real Proofs
Jul 16, 2018 - 66:11
Looking Backward; Looking Forward
Jul 13, 2018 - 62:37
Pseudo deterministic algorithms and proofs
Jul 13, 2018 - 66:47
Continuous Reasoning: Scaling the impact of formal methods
Jul 10, 2018 - 53:19