Verification Series

Seminars and research group discussions are normally held at 11am on Tuesday, typically in meeting room 2.08 or 1.01.
Suggestions for possible speakers should be sent to Patrick

All Seminars

Date	Speaker	Title
23 Apr 2026   11:00 Ashton 208	Guangliang Cheng UoL	TBA
16 Apr 2026   11:00 Ashton 208	Shufang Zhu UoL	TBA
19 Mar 2026   11:00 Ashton 208	Alexei Lisitsa UoL	Quantum verification via tangles, quandles, and automated reasoning
12 Mar 2026   11:00 Ashton 208	Raj Roy UoL	TBA
05 Mar 2026   11:00 Ashton 208	Daniel Hausmann UoL	TBA
Previous talks
26 Feb 2026   11:00 Ashton 208	Sarvin Bahmani UoL	The Complexity of Games with Randomised Control
19 Feb 2026   11:00 Ashton 208	David Purser UoL	Automata Automata
12 Feb 2026   11:00	Rasmus Ibsen-Jensen University of Liverpool	Overview of Concurrent Games
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

• 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