Overview of all talks

Upcoming Seminars

Date	Speaker	Title	Series
21 Oct 2026   13:00 GH223	Viktor Zamaraev University of Liverpool	Recent Advances in Adjacency Labeling Schemes	ACS
27 Oct 2026   13:00 Ashton Lecture Theatre	Tung Nguyen University of Oxford	On the solution to the Erdős–Hajnal problem on high-girth high-chromatic subgraphs	dept
03 Nov 2026   13:00 Ashton Lecture Theatre	Ihsen Alouani Queen’s University Belfast	Uncovering Integrity and Confidentiality Flaws in Modern Language Models	dept
05 Nov 2026   11:00 Ashton 208	Raj Roy Liverpool	TBA	verification
06 Nov 2026   13:00 Ashton Lecture Theatre	Thomas Bloom		dept
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]