Use our registration form to request the joining instructions for upcoming seminars.
Please ensure you register by 12:00 GMT on the day of the seminar.
Resilience Talk 14 - Monday 22 November 2021, 14:30-15:30 GMT
Verifying Machine Ethics
Louise Dennis, University of Manchester, UK
Machine ethics is concerned with the challenge of constructing ethical and ethically behaving artificial agents and systems. One important theme within machine ethics concerns explicitly ethical agents – those which are not ethical simply because they are constrained by their programming or deployment to be so but which use a concept of ethics in some way as part of their operation. Normally this requires the provision of rules, utilities or priorities by a programmer, knowledge engineer or user. In this talk I will address the question of how such explicitly ethical programs can be verified. What kind of properties can we consider and what kind of errors might we find?
19th International Conference on Software Engineering and Formal Methods - 6 to 10 December 2021.*
SEFM 2021 is jointly organised by Carnegie Mellon University (US), Nazarbayev University (Kazakhstan) and University of York (UK) and aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
*SEFM 2021 will be an entirely virtual event (due to the COVID-19 pandemic)
TAS Hub Doctoral Training Network Seminars
Find out more to join the DTN seminars
TAS Node in Governance and Regulation Seminars
TAS Node in Security Seminars