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

Invited Speakers

Jörg Hardy

Fellow of the Centre for Advanced Study in Bioethics
University of Münster

Dr. Jörg Hardy is Fellow at the Centre for Advanced Study in Bioethics, University of Münster, Germany, Senior Lecturer at the Free University of Berlin and Executive Director of the "Fund Raising Agency Hardy". His research is on Logical Theory, the Philosophy of Mind, Mind-Machine Interfaces, Epistemology, Ethics, and Ancient Philosophy. Dr. Hardy has published four books, and he currently writes a monograph on "Autononmy and Dignity".


Bertram F. Malle

Department of Cognitive, Linguistic, and Psychological Sciences
Brown University

Dr. Malle is Professor of Psychology in the Department of Cognitive, Linguistic, and Psychological Sciences at Brown University and Co-Director of the Humanity-Centered Robotics Initiative at Brown. He was trained in psychology, philosophy, and linguistics at the University of Graz, Austria, and received his Ph.D. in Psychology from Stanford University in 1995. He received the Society of Experimental Social Psychology Outstanding Dissertation award in 1995, a National Science Foundation (NSF) CAREER award in 1997, and he is past president of the Society of Philosophy and Psychology. Malle’s research, which has been funded by the National Science Foundation, Army, Templeton Foundation, Office of Naval Research, and DARPA, focuses on social cognition (intentionality, mental state inferences, behavior explanations), moral psychology (cognitive and social blame, guilt, norms), and human-robot interaction (moral competence in robots, trust, effects of appearance). He has distributed his work in over 100 articles and several books.


Sanjit A. Seshia

Department of Electrical Engineering and Computer Sciences
Group in Logic and the Methodology of Science
University of California, Berkeley

Dr. Sanjit A. Seshia is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He received an M.S. and Ph.D. in Computer Science from Carnegie Mellon University, and a B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Bombay. His research interests are in dependable computing and computational logic, with a current focus on applying automated formal methods to problems in cyber-physical systems, computer security, electronic design automation, and synthetic biology. His Ph.D. thesis work on the UCLID verifier and decision procedure helped pioneer the area of satisfiability modulo theories (SMT) and SMT-based verification. He is co-author of a widely-used textbook on embedded systems and has led the development of technologies for cyber-physical systems education based on formal methods. His awards and honors include a Presidential Early Career Award for Scientists and Engineers (PECASE) from the White House, an Alfred P. Sloan Research Fellowship, the Frederick Emmons Terman Award for contributions to electrical engineering and computer science education, and the School of Computer Science Distinguished Dissertation Award at Carnegie Mellon University.


Michael Wooldridge

Head of Department of Computer Science
Professor of Computer Science
Senior Research Fellow, Hertford College
University of Oxford

Dr. Michael Wooldridge joined Oxford on 1 June 2012; before this he was for twelve years a Professor of Computer Science at the University of Liverpool. In October 2011, he was awarded a 5-year ERC Advanced Grant, entitled "Reasoning About Computational Economies" (RACE). He is an ACM Fellow, a AAAI Fellow, a EURAI Fellow, an AISB Fellow, a BCS Fellow, and a member of Academia Europaea. In 2006, he was the recipient of the ACM Autonomous Agents Research Award. In 1997, he founded AgentLink, the EC-funded European Network of Excellence in the area of agent-based computing. In 2015, He was elected President of the International Joint Conference on Artificial Intelligence (IJCAI) for a two year period.

He was program chair for the 19th European Conference on Artificial Intelligence (ECAI-2010), held in Lisbon, Portugal, in August 2010. He was Conference Chair for the 24th International Joint Conference on Artificial Intelligence (IJCAI-2015), held in Buenos Aires, Argentina, in July 2015.

Between 2003 and 2009 he was co-editor-in-chief of the Journal Autonomous Agents and Multi-Agent Systems. He is an associate editor of the Journal of Artificial Intelligence Research (JAIR) (2006-2009, 2009-2012), an associate editor of Artificial Intelligence journal (2009-2012) and serve on the editorial boards of the Journal of Applied Logic, Journal of Logic and Computation, Journal of Applied Artificial Intelligence, and Computational Intelligence.

Professor Wooldridge’s research is ultimately about building computers which have the same kinds of social abilities that humans have and which can cooperate, coordinate, and negotiate with each other. Using logic, computational complexity, and game theory, he studies the design and potential applications of social software agents and multiagent systems – the term “agent” referring to a computer than can autonomously act on behalf of a user or owner. Such systems might in future be used in a huge number of ways, ranging from disaster management to e-commerce. He has published more than three hundred articles in the theory and practice of autonomous agents and multiagent systems.


Mariarosaria Taddeo

Research Fellow and Deputy Director
Digital Ethics Lab – Oxford Internet Institute
Oxford Faculty Fellows at the Alan Turing Institute
University of Oxford

Mariarosaria Taddeo is a Researcher Fellow at the Oxford Internet Institute and Deputy Director of the Digital Ethics Lab. She leads (with Luciano Floridi) the Privacy and Trust Stream (social lead) of the PETRAS research hub on IoT. She is also a Faculty Fellow at the Alan Turing Institute.

Her recent work focuses mainly on the ethical analysis of cyber security practices, cyber conflicts, and ethics of data science. Her area of expertise is Philosophy and Ethics of Information, although she has worked on issues concerning Epistemology, Logic, and Philosophy of AI.

Taddeo’s publications focus on online trust, cyber security, and cyber warfare, and has guest-edited a number of special issues of Ethics and Information Technology (Springer), Knowledge, Technology and Policy (Springer), and Philosophy and Technology (Springer), Philosophical Transaction A (Royal Society), which significantly contributed to shape the field of Information and Computer Ethics.

In 2016, Taddeo edited (with L. Floridi) a special issue of Philosophical Transaction A (Royal Society) on The ethical impact of data science, one of the first dedicated publications in this area of research. She also edited volumes such as The Ethics of Information Warfare (with L. Floridi, Springer, 2014), Ethics and Policies for Cyber Operations (with L. Glorioso, Springer, 2016), The Ethics of Information Technologies (with K. Miller, Routledge 2016), The Responsibilities of Online Service Providers (with L. Floridi, Springer, 2017), and is the author of The Ethics of Cyber Conflicts (Routledge, forthcoming).


Raja Chatila

Professor and Director
Institute of Intelligent Systems and Robotics (ISIR)
Pierre and Marie Curie University in Paris (UPMC)

Dr. Raja Chatila, IEEE Fellow, is Professor and Director of the Institute of Intelligent Systems and Robotics (ISIR) at Pierre and Marie Curie University in Paris (UPMC). He is also Director of the Laboratory of Excellence “SMART” on human-machine interaction. He was director of LAAS-CNRS, Toulouse France, in 2007-2010.

His research covers several aspects of Robotics in robot navigation and SLAM, motion planning and control, cognitive and control architectures, human-robot interaction, and robot learning. He works on robotics projects in the areas of service, field, aerial and space robotics. He is author of over 150 international publications on these topics. His current projects include AVETHICS on the ethics of automated vehicle decisions, Roboergosum on robot self-awareness and Spencer on human-robot interaction in populated environments.

He was President of the IEEE Robotics and Automation Society for the term 2014-2015. He is member of the CERNA, The Ethics Committee on Research in Information Science and Technology of the Allistene Alliance which published a report on the Ethics of Research in Robotics in November 2014 (in French). He is chair of the IEEE Global Initiative for Ethical Considerations in AI and Autonomous Systems.

His awards include IEEE Pioneer Award in Robotics and Automation and Honorary Doctor of Örebro University (Sweden).


Aldo Faisal

Senior Lecturer (US equivalent: Associate Professor, tenured)
Department of Bioengineering
Department of Computing
Imperial College London

Dr Faisal is a Senior Lecturer in Neurotechnology (US equivalent: Associate Professor, tenured) jointly at the Dept. of Bioengineering and the Dept. of Computing at Imperial College London. He is also Associate Group Head at the MRC Clinical Sciences Center (Hammersmith Hosptial) and is affiliated faculty at the Gatsby Computational Neuroscience Unit (University College London).

Dr Faisal's lab combines cross-disciplinary computational and experimental approaches to investigate how the brain and its neural circuits are designed to learn and control goal-directed movements. The neuroscientific findings enable the targeted development of novel technology for clinical and research applications (Neurotechnology) for a variety of neurological/motor disorders and amputees. On the computational side, machine learning and stochastic modelling techniques are employed in his work, and experimentally, psychophysics, eyetracking and kinematics, non-invasive electrophysiolog, robotic (with Brain-Computer Interfaces) and funcational imaging are utilized. His lab is featured regularly across global media (such as BBC Today Show, CNN, WIRED, TED, TEDx, New Scientist, Guardian, Times of India, etc.).

Aldo has received a number of awards and distinctions, including being scholar of the German National Merit Foundation (Studienstiftung des Deutsche Volkes; Undergraduate and PhD training), a Fellow of the Böhringer-Ingelheim Foundation for Basic Biomedical Research and elected as a Junior Research Fellow at the University of Cambridge (Wolfson College). He serves on the editorial board of PLoS Computational Biology (Impact Factor 2012: 4.9) and the board of the EPSRC Centre for Doctoral Training in Neurotechnology at Imperial College.


Aaron Steinfeld

Associate Research Professor
Robotics Institute
Carnegie Mellon University

Dr. Steinfeld is an Associate Research Professor in the Robotics Institute at Carnegie Mellon University. He received his BSE, MSE, and PhD degrees from the University of Michigan and completed a post doc at the University of California Berkeley. He is the PI of several large, multi-institution grants on transportation, disabilities, and robotics with key funding from the National Institute on Disability, Independent Living, and Rehabilitation Research (NIDILRR), National Science Foundation (NSF), and Office of Naval Research (ONR). He is an internationally recognized expert on human-robot interaction, advanced transportation systems, and human-computer interaction. He was a Senior Editor for the Journal of Human-Robot Interaction and a General Co-Chair for the 2012 ACM/IEEE International Conference on Human-Robot Interaction. He has written over 80 peer-reviewed publications, thirteen book chapters, and co-edited one book.


Lu Feng

Assistant Professor
Department of Computer Science
Department of Systems and Information Engineering
Center of Research Excellence in Cyber-Physical Systems
University of Virginia

Dr. Lu Feng is an Assistant Professor at the Department of Computer Science and Department of Systems and Information Engineering at the University of Virginia. She is also a member of the Link Lab - the center of research excellence in Cyber-Physical Systems at the University of Virginia. Previously, she was a postdoctoral fellow at the University of Pennsylvania and received her PhD in Computer Science from the University of Oxford. Her research focuses on assuring the safety, trustworthiness and performance of cyber-physical systems, drawing on formal methods, machine learning and control. She has received several awards including NSF CISE CRII Award, James S. McDonnell Foundation Postdoctoral Fellowship, Rising Stars in EECS, UK Engineering and Physical Sciences Research Council Scholarship, and Cambridge Trust Scholarship.