Overview of all talks

Upcoming Seminars

Date	Speaker	Title	Series
27 May 2025   13:00 Ashton Lecture Theatre	Pian Yu University College London	Formal Verification for Trustworthy Human-Robot Collaboration	dept
19 Jun 2025   13:00	Jintai Ding Xi'an Jiaotong-Liverpool University (XJTLU)	Post-quantum cryptography – a New Era.	dept
01 Jul 2025   13:00	Nicolas Klodt Hasso Plattner Institute		dept
08 Jul 2025   13:00	Sergii Strelchuk University of Oxford		dept

• Include past talks

---

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]