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
08 Oct 2026   11:00 Ashton 208	Patrick Totzke Liverpool	Optimal Sequential Flows
05 Nov 2026   11:00 Ashton 208	Raj Roy Liverpool	TBA
26 Nov 2026   11:00 Ashton 208	Lorenzo Gheri Liverpool	TBA
03 Dec 2026   11:00 Ashton 208	Tony Tan Liverpool	TBA
14 Jan 2027   11:00 Ashton 208	Daniel Hausmann Liverpool	TBA
28 Jan 2027   11:00 Ashton 208	Louwe Kuijer Liverpool
04 Feb 2027   11:00 Ashton 208	Frank Wolter Liverpool	TBA
11 Feb 2027   11:00 Ashton 208	Shufang Zhu Liverpool	TBA

• 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