[robotics-worldwide] [meetings] Call for Participation - CAV-FLoC 2018 workshop on "Robots, Morality, and Trust through the Verification Lens"

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

[robotics-worldwide] [meetings] Call for Participation - CAV-FLoC 2018 workshop on "Robots, Morality, and Trust through the Verification Lens"

Morteza Lahijanian
 =======================================================================
Call for Participation

*Robots, Morality, and Trust through the Verification Lens*
CAV-FLoC 2018 workshop - Oxford, UK

Workshop website:  https://urldefense.proofpoint.com/v2/url?u=http-3A__qav.cs.ox.ac.uk_robots-5Fmorality-5Ftrust_&d=DwIBaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=H0jx8K671nYgPzMi6fFYWe0avDh75n2OEq8HtuZn_T0&s=lfg43yjKH5rUy2ZbLkE1nzY5OwaS2Jeyim4bYs54BIU&e=
Date: July 19, 2018
=======================================================================


We invite researchers and students to participate in the workshop of
"Robots, Morality, and Trust through the Verification Lens," affiliated
with Computer Aided Verification 2018 (CAV 2018) conference and Federated
Logic Conference 2018 (FLoC 2018).  Our goal in this workshop is to shed
light on the little-understood notions of morality, ethics, and trust in
autonomous systems from various perspectives through invited talks,
contributed posters, and panel discussions. The invited speakers are
leading researchers, whose works focus on the intersection of the field of
technology with philosophy, sociology, psychology, cognitive reasoning,
logic, and computation.


Title: Robots, Morality, and Trust through the Verification Lens
Location: University of Oxford, Oxford, UK
Date: July 19, 2018
Website: https://urldefense.proofpoint.com/v2/url?u=http-3A__qav.cs.ox.ac.uk_robots-5Fmorality-5Ftrust_&d=DwIBaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=H0jx8K671nYgPzMi6fFYWe0avDh75n2OEq8HtuZn_T0&s=lfg43yjKH5rUy2ZbLkE1nzY5OwaS2Jeyim4bYs54BIU&e=
_______________________________________________
robotics-worldwide mailing list
[hidden email]
http://duerer.usc.edu/mailman/listinfo.cgi/robotics-worldwide