Robotics and Autonomous Systems Series

Past Talks: 2018/19 Session

Date	Speaker	Title
26 Sep 2018	Matthew Luckuck	Robotics and Integrated Formal Methods: Necessity meets Opportunity
24 Oct 2018	Rafael Cardoso	The Multi-Agent Programming Contest
07 Nov 2018	Vincent Page Engineering	[formal methods and simulation based testing]
06 Feb 2019	Matt Webster	Veri?able Self-Certifying Autonomous Systems
20 Feb 2019	Marie Farrell	The Landscape of Formal Methods for Robotics
06 Mar 2019	Louwe Kuijer	-
20 Mar 2019	Xiaowei Huang	-
03 Apr 2019	Shan Luo	-
17 Apr 2019	Paolo Poletti	Engineering RAS platforms: from manufacturing to food production to healthcare
01 May 2019	Greg Palmer	-
15 May 2019	Terry Payne	-
22 May 2019	Ava Thomas Wright Philosophy Department at Univ. Georgia	Answer Set Programming Rightful Machines: Solving the Trolley Problem
26 Jun 2019	Louise Dennis, Gwendolen Sellers and Nile Willow	Robotics Outreach Resources and Plans

Older Seminars

ordered by Academic Year

• Upcoming seminars
• Current session
• 2022/23
• 2020/21
• 2019/20
• 2018/19
• 2017/18

---

Other seminar series

• Department Seminar Series
• Algorithms, Complexity Theory and Optimisation
• Argumentation and Representation of Knowledge
• Data Mining and Machine Learning
• Economics and Computation
• Friday Lunch and Talk
• Liverpool Distinguished Computer Science Lecture
• Networks and Distributed Computing
• PhD Tea Talks
• Robotics and Autonomous Systems
• Verification
• Women in Technology
• Overview of all seminar series