Overview of all talks

Upcoming Seminars

Date	Speaker	Title	Series
30 Apr 2026   11:00 Ashton 208	Toghrul Karimov MPI-SWS and IRIF	Decidability of logical theories via rigidity and randomness in dynamical systems	verification
12 May 2026   13:00 Brodie Tower Room 106	Changshun Wu Université Grenoble Alpes	Trustworthy AI at Runtime: Out-of-Distribution and Robustness in Open Worlds	dept
13 May 2026   13:00 GH223	Nikhil Mande University of Liverpool	Quantum Search With Generalized Wildcards	ACS
26 May 2026   13:00	Fahad Panolan University of Leeds		dept
16 Jun 2026   13:00	Subhajit Pramanick University of Wroclaw		dept

• Include past talks

---

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]