Toggle navigation
Program
Speakers
Important Dates
Call for Posters
Accepted Posters
Organization
Registration
Venue
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