Robotics and Autonomous Systems Series

Past Talks

Date	Speaker	Title
26 Mar 2025   14:00 Heleshaw Lecture Theatre, School of Engineering dept	Gerard Milburn University of Queensland	Quantum physical machine learning
25 Mar 2025   13:00 ELEC204, 2th Floor Lecture Theater EEE dept	Thomas Erlebach Durham University	Temporal Graph Realization Problems
18 Mar 2025   13:00 ELEC204, 2th Floor Lecture Theatre EEE dept	Giuseppe De Giacomo University of Oxford	From Infinite to Finite Traces and Back: Linear Temporal Logic in Sequential Decision Making
04 Mar 2025   13:00 ELEC204, 2th Floor Lecture Theatre EEE dept	Alessandro Varsi University of Liverpool	The Quest for Optimal Parallel Monte Carlo Methods
22 Oct 2024   13:00 Ashton Lecture Theatre dept	Ron van der Meyden University of New South Wales	Epistemic Model Checking and Synthesis of Byzantine Agreement Protocols

Older Seminars

ordered by Academic Year

• Upcoming seminars
• 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