Overview of all talks

Upcoming Seminars

Date	Speaker	Title	Series
01 Oct 2026   11:00 Ashton 208	Di-de Yen Liverpool	Hyper-Minimization for Deterministic Register Automata	verification
13 Oct 2026   13:00	Yelena Yuditsky		dept
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

• 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]