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

Workshop schedule

Start Time
09:00 - 09:15 Welcome and Introduction
09:15 - 9:45 Understanding Ethical Reasoning
Jörg Hardy
University of Münster
09:45 - 10:15 Human Morality, Robots' Moral Competence, and the Deepest Kind of Trust
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
Michael Wooldridge
University of Oxford
11:30 - 12:00 Specification and Verification for Robots that Learn
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
Rachid Alami
Centre National de la Recherche Scientifique (CNRS)
14:30 - 15:00 The computational Neuroscience of Human-Robot Relationships
Aldo Faisal
Imperial College London
15:00 - 15:30 Trust, Failure, and Self-Assessment During Human-Robot Interaction
Aaron Steinfeld
Carnegie Mellon University
15:30 - 16:00 Poster Session + Coffee Break
16:00 - 16:30 Safety and Trust in Autonomous Driving
Lu Feng
University of Virginia
16:30 - 17:30 Panel Discussion
17:30 - 18:00 Closing Remarks and Poster Session 2

Posters

To view the accepted posters click here.