Overview of all talks

Upcoming Seminars

Date	Speaker	Title	Series
11 Nov 2026   13:00 GHolt 223	Joint Verification and ACS seminar University of Liverpool	GAI discussion	verification
26 Nov 2026   11:00 Ashton 208	Lorenzo Gheri Liverpool	TBA	verification
03 Dec 2026   11:00 Ashton 208	Tony Tan Liverpool	TBA	verification
14 Jan 2027   11:00 Ashton 208	Daniel Hausmann Liverpool	TBA	verification
28 Jan 2027   11:00 Ashton 208	Louwe Kuijer Liverpool		verification
04 Feb 2027   11:00 Ashton 208	Frank Wolter Liverpool	TBA	verification
11 Feb 2027   11:00 Ashton 208	Shufang Zhu Liverpool	TBA	verification

• 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]