Overview of all talks

Upcoming Seminars

Date	Speaker	Title	Series
18 Feb 2026   13:00 GH223	Leszek Gasieniec University of Liverpool	Selected Problems in Self‑Stabilising Population Protocols	ACS
19 Feb 2026   11:00 Ashton 208	David Purser UoL	Automata Automata	verification
24 Feb 2026   13:00 EEE Building, Elec204	Matthias Kaul University of Bonn	An Invitation to Coarse Graph Theory	dept
26 Feb 2026   11:00 Ashton 208	Sarvin Bahmani UoL	The Complexity of Games with Randomised Control	verification
03 Mar 2026   13:00 Ashton Lecture Theatre	Ieva Čepaitė Phasecraft, Bristol		dept
04 Mar 2026   13:00 GH223	Rasmus Ibsen-Jensen University of Liverpool	TBA	ACS
05 Mar 2026   11:00 Ashton 208	Daniel Hausmann UoL	TBA	verification
10 Mar 2026   13:00 Ashton Lecture Theatre	Liana Khazaliya TU Wien		dept
11 Mar 2026   14:00 Ashton Lecture Theatre	Moshe Y. Vardi Rice University	Are AI minds genuine minds?	dept
12 Mar 2026   11:00 Ashton 208	Raj Roy UoL	TBA	verification
17 Mar 2026   13:00	János Pach Alfréd Rényi Institute	On the distribution of distances: Quo vadis?	dept
18 Mar 2026   13:00 GH223	Paul Spirakis University of Liverpool	TBA	ACS
19 Mar 2026   11:00 Ashton 208	Alexei Lisitsa UoL	Quantum verification via tangles, quandles, and automated reasoning	verification
24 Mar 2026   13:00	Jara Uitto Aalto University		dept
15 Apr 2026   13:00 GH223	Anish Mukherjee University of Liverpool	TBA	ACS
16 Apr 2026   11:00 Ashton 208	Shufang Zhu UoL	TBA	verification
23 Apr 2026   11:00 Ashton 208	Guangliang Cheng UoL	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]