Overview of all talks

Upcoming Seminars

Date	Speaker	Title	Series
03 Mar 2026   13:00 Ashton Lecture Theatre	Ieva Čepaitė Phasecraft, London	Quantum heuristics for hard optimisation problems	dept
04 Mar 2026   13:00 GH223	Rasmus Ibsen-Jensen University of Liverpool	Introduction to Concurrent Stochastic Games	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	Non-Clashing Teaching in Graphs	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 Ashton Lecture Theatre	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	Temporal Graph Realization With Bounded Stretch	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 EEE Building, Elec201	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
29 Apr 2026   13:00 GH223	Joachim Spoerhase University of Liverpool	TBA	ACS

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