FLoC 2018 Workshop

Robots, Morality, and Trust through the Verification Lens

Oxford, U.K.
An affiliated workshop of CAV 2018
Submission deadline TBA
Notification TBA
Camera ready TBA
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
University of Münster
joerg.hardy@fu-berlin.de