FLoC 2018 Workshop
Robots, Morality, and Trust through the Verification Lens
Oxford, U.K.
An affiliated workshop of CAV 2018
| Submission deadline | May 01, 2018 |
| Notification | May 15, 2018 |
| Camera ready | May 31, 2018 |
| Workshop | July 19, 2018 |
| Submission deadline | May 01, 2018 |
| Notification | May 15, 2018 |
| Camera ready | May 31, 2018 |
| Workshop | July 19, 2018 |
| Start Time | |
|---|---|
| 09:00 - 09:15 | Welcome and Introduction |
| 09:15 - 9:45 | Understanding Ethical Reasoning [Slides] Jörg Hardy University of Münster |
| 09:45 - 10:15 | Human Morality, Robots' Moral Competence, and the Deepest Kind of Trust [Slides] Bertram F. Malle Brown University |
| 10:15 - 10:30 | Poster Spotlight 1: Elements of a Model of Trust in Technology Joachim Iden TUV Rheinland Japan, Ltd. |
| 10:30 - 11:00 | Coffee Break |
| 11:00 - 11:30 | How to Free Yourself from the Curse of Bad Equilibria [Slides] Michael Wooldridge University of Oxford |
| 11:30 - 12:00 | Specification and Verification for Robots that Learn [Slides] Sanjit A. Seshia University of California, Berkeley |
| 12:00 - 12:15 | Poster Spotlight 2: Moral Permissibility of Actions in Smart Home Systems Martin Mose Bentzen, Felix Lindner, Louise Dennis, and Michael Fisher University of Liverpool |
| 12:15 - 12:30 | Poster Session 1 |
| 12:30 - 14:00 | Lunch break |
| 14:00 - 14:30 | Designing Pertinent Decisional Behaviours for an Interactive Robot [Slides] Rachid Alami Centre National de la Recherche Scientifique (CNRS) |
| 14:30 - 15:00 | The computational Neuroscience of Human-Robot Relationships [Slides] Aldo Faisal Imperial College London |
| 15:00 - 15:30 | Explaining Machine Learning Decisions: Perceptions of Justice [Slides] Reuben Binns University of Oxford |
| 15:30 - 16:00 | Poster Session + Coffee Break |
| 16:00 - 16:30 | Safety and Trust in Autonomous Driving [Slides] Lu Feng University of Virginia |
| 16:30 - 17:30 | Panel Discussion | 17:30 - 18:00 | Closing Remarks and Poster Session 2 |
To view the accepted posters click here.