FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
REMOTE PROGRAM
Thursday, July 19th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 131F: Opening and First Presentation Round
Chair:
Morteza Lahijanian
Location: Maths Seminar C5
09:00
Morteza Lahijanian
Welcome and Introduction (abstract)
09:15
Jörg Hardy
Understanding Ethical Reasoning (abstract)
09:45
Bertram F. Malle
Human morality, robots’ moral competence, and the deepest kind of trust (abstract)
10:15
Joachim Iden
Elements of a Model of Trust in Technology (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 133F: Second Presentation Round
Chair:
Nils Jansen
Location: Maths Seminar C5
11:00
Michael Wooldridge
How to Free Yourself from the Curse of Bad Equilibria (abstract)
11:30
Sanjit A. Seshia
Specification and Verification for Robots that Learn (abstract)
12:00
Martin Mose Bentzen, Felix Lindner, Louise Dennis and Michael Fisher
Moral Permissibility of Actions in Smart Home Systems (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 135F: Third Presentation Round
Chair:
Lu Feng
Location: Maths Seminar C5
14:00
Rachid Alami
TBA (abstract)
14:30
Aldo Faisal
The computational neuroscience of human-robot relationships (abstract)
15:00
Aaron Steinfeld
Trust, Failure, and Self-Assessment During Human-Robot Interaction (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 137E: Poster Presentations and Panel Discussion
Chair:
Morteza Lahijanian
Location: Maths Seminar C5
16:00
Lu Feng
Safety and Trust in Autonomous Driving (abstract)