Previous Seminars

List of previous seminars

17 June 2019 - Christoph Benzmüller (University of Luxembourg)

On Universal Logical Reasoning and Gödel's Ontological Argument

3 June 2019 - TBC

Details to follow

27 May 2019 - Vaishak Belle

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach

21 May 2019 - Stefanie Speichert

Learning Symbolic Representations in Mixed Discrete-Continuous Domains

20 May 2019 - Dr Florian Kammueller

Security Engineering in Isabelle

13 May 2019 - Prof. Oscar Corcho (Universidad Politécnica de Madrid)

Ontology Engineering at Scale for Open City Data Sharing

29 April 2019 - Prof. Tim Drysdale (The School of Engineering)

Remote laboratories for education – browser-based practical work using real equipment

CANCELLED - 15 April 2019 - Valerio Restocchi

"An overview of opinion control: it's not as bad as it sounds"

1 April 2019 - Malcolm Atkinson

Download considered harmful

25 March 2019 - Shimon Whiteson (University of Oxford)

Cooperative Deep Multi-Agent Reinforcement Learning

19 March 2019 - Xue Li

ABC Repair System for Datalog-like Theories

11 March 2019 - Lilian Edwards

Why a Right to an Explanation in AI may Not be the Remedy You are Looking For

4 March 2019 - Michael Rovatsos

From UnBias to ReEnTrust: algorithms, people, and ethics