Verification Series

Past Talks

Date	Speaker	Title
29 Jan 2026   11:00 Ashton 208	Louwe Kuijer	Modal interpolants on fixed finite frames
22 Jan 2026   11:00	Yi Dong UOL	Fine-grained Activation Manipulation by Contrastive Orthogonal Unalignment for Large Language Model
11 Dec 2025   11:00 Ashton 208	Qiyi Tang	TBA
04 Dec 2025   11:00 Ashton 101	Lorenzo Gheri	TBA
27 Nov 2025   11:00 Ashton 208	Tony Tan	TBA
20 Nov 2025   11:00 Ashton 208	Michal Ajdarow	TBA
06 Nov 2025   11:00 Ashton 208	Ullrich Hustadt	Modal Logic Reasoning: The Long View
28 Oct 2025   13:00 Ashton Lecture Theatre dept	Son Tong Siemens	Industrial AI and Generative AI for Digital Twin
16 Oct 2025   11:00 Ashton 208	Soumyajit Paul Liverpool	Resolving Nondeterminism by Chance

Older Seminars

ordered by Academic Year

• Upcoming seminars
• 2023/24
• 2022/23
• 2021/22
• 2020/21
• 2019/20
• 2018/19
• 2017/18

---

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