|
1 |
|
Ethics and Morality of Robotics |
The future of robotics raises important questions for humanity. |
Judy Wajcman, Sandra Wachter, Francesca Rossi, Ben Kuipers |
18 Jul 2018 |
|
2 |
Creative Commons |
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. |
Byron Cook |
18 Jul 2018 |
|
3 |
Creative Commons |
The Logic of Real Proofs |
George Gonthier delivers a lecture at FLoc2018 |
George Gonthier |
16 Jul 2018 |
|
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 |
Dana Scott |
13 Jul 2018 |
|
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. |
Shafi Goldwasser |
13 Jul 2018 |
|
6 |
Creative Commons |
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. |
Peter O'Hearn |
10 Jul 2018 |
