Federated Logic Conference (FLoC) 2018 Podcast
1) 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 intelli...Show More
2) Formal 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 security of systems that customers build on AWS. This talk wi...Show More
3) The Logic of Real Proofs
George Gonthier delivers a lecture at FLoc2018 Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/
4) 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
5) 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. Probabilistic algorithms for both decision and search problems can...Show More
6) 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 the most elusive. There has been a tremendous amount of valu...Show More