Ethics and Morality of Robotics
Jul 18, 2018 - 53:21
Radio and PodcastLive Radio & PodcastsTechnology
Looking Backward; Looking Forward
An invited talk by the Emeritus Hillman University Professor of Computer Science, Philosophy and Mathematical Logic at Carnegie Mellon University at FLoC2018
Related Episodes
Continue listening to more episodes from Federated Logic Conference (FLoC) 2018.
Formal Reasoning about the Security of Amazon Web Services
Jul 18, 2018 - 51:29
The Logic of Real Proofs
Jul 16, 2018 - 66:11
Pseudo deterministic algorithms and proofs
Jul 13, 2018 - 66:47
Continuous Reasoning: Scaling the impact of formal methods
Jul 10, 2018 - 53:19