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

Organizers

Morteza Lahijanian
Department of Computer Science
University of Oxford
Morteza.Lahijanian@cs.ox.ac.uk
Lu Feng
Department of Computer Science
University of Virginia
Lu.Feng@virginia.edu
Nils Jansen
Department of Software Science
Radboud University Nijmegen
N.Jansen@cs.ru.nl
Jörg Hardy
Centre for Advanced Study in Bioethics
Free University of Berlin
joerg.hardy@fu-berlin.de