Stuart Anderson (Professor of Dependable Systems at University of Edinburgh), Alex Lascarides (Chair in Semantics at The University of Edinburgh), Subramanian Ramamoorthy (Personal Chair of Robot Learning and Autonomy at University of Edinburgh), and Shannon Vallor (Baillie Gifford Chair of the Ethics of Data and Artificial Intelligence at The University of Edinburgh) (AIW0042)