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
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
Maintained by Matt webster