Louise Dennis: Online Talks

During the various Covid-19 lockdowns, I gave a number of talks and webinars that have been archived online. It seemed worth linking these here.

• Verifying Autonomous Systems (YouTube Link)

  KeyNote at iFM 2022. Related publication: Verifying Autonomous Systems. In: ter Beek, M.H., Monahan, R. (eds) Integrated Formal Methods. IFM 2022. Lecture Notes in Computer Science, vol 13274. Springer, Cham. https://doi.org/10.1007/978-3-031-07727-2_1

• Explicitly Ethical Agent Reasoning (Vimeo Link)

  Keynote at the EMAS 2021 workshop.

• Machine Ethics: State-of-the-art and Interdisciplinary Challenges.

  A three hour tutorial (split up into several videos) by myself and Marija Slavkovik (University of Bergen).

• Verifying Machine Ethics (YouTube Link).

  Given as part of the Trustworthy Autonomous Systems Verifiability Node talk series.

• The Bluffer's Guide to Symbolic AI (YouTube Link).

  Given as part of the AI3SD Online Seminar Series.

• Ethical Governor Systems viewed as a Multi-Agent Problem (YouTube Link).

  This has an associated paper: Rafael C. Cardoso, Daniel Ene, Tom Evans, Louise A. Dennis. Ethical Governor Systems viewed as a Multi-Agent Problem. In Vivek Nallur (ed), Second Workshop on Implementing Machine Ethics, June 2020, Zenodo, DOI: 10.5281/zenodo.3938851. BibTex

Contact: Louise Dennis.
Design by FreeCSSTemplates.org.