
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 & PodcastsOpening Radio and Podcast...

Radio and PodcastLive Radio & PodcastsFetching podcast shows and categories...
Radio and PodcastLive Radio & PodcastsFetching podcast episodes...

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...

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...

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...

George Gonthier delivers a lecture at FLoc2018

An invited talk by the Emeritus Hillman University Professor of Computer Science, Philosophy and Mathematical Logic at Carnegie Mellon Unive...

In this talk I will describe what is known about pseudo-deterministic algorithms in the sequential, sub-linear and parallel setting. Probabi...

Formal reasoning about programs is one of the oldest and most fundamental research directions in computer science. It has also been one of t...