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

Upcoming Seminars

Date	Speaker	Title
13 Nov 2025   11:00 Ashton 208	Louwe Kuijer	TBA
20 Nov 2025   11:00 Ashton 208	Michal Ajdarow	TBA
27 Nov 2025   11:00 Ashton 208	Tony Tan	TBA
04 Dec 2025   11:00 Ashton 101	Lorenzo Gheri	TBA
11 Dec 2025   11:00 Ashton 208	Qiyi Tang	TBA

• Include past talks

---

Other seminar series

• Department Seminar Series
• 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