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
12 Jul 2019	Dr Zhenhua Feng University of Surry	Robust Facial Landmark Localisation and Its Applications

Older Seminars

ordered by Academic Year

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

---

Other seminar series

• School Seminar Series
• Algorithms and Computing Systems
• 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