Overview of all talks

All Seminars

Date	Speaker	Title	Series
03 Mar 2026   13:00	Ieva Čepaitė Phasecraft, Bristol		dept
10 Feb 2026   13:00	Paul Bastide Universiry of Oxford		dept
16 Dec 2025   13:00 Ashton Lecture Theatre	Alex Hernandez-Garcia Université de Montréal	Generative modelling and active learning for scientific discoveries	dept
12 Dec 2025   13:00 Ashton Lecture Theatre	Taylor T. Johnson Vanderbilt University, USA	Neural Network Verification for Formally Verifying Neuro-Symbolic Artificial Intelligence (AI)	dept
11 Dec 2025   11:00 Ashton 208	Qiyi Tang	TBA	verification
10 Dec 2025   13:00 ELEC201, 2th Floor Lecture Theater EEE	Youcheng Sun Mohamed bin Zayed University of Artificial Intelligence, Abu Dhabi	What LLMs Reveal and What They Believe	dept
Previous talks
04 Dec 2025   11:00 Ashton 101	Lorenzo Gheri	TBA	verification
02 Dec 2025   13:00 ELEC201, 2th Floor Lecture Theater EEE	David Head University of Leeds	Modelling the mechanics of fractal and non-fractal fibre networks	dept
27 Nov 2025   11:00 Ashton 208	Tony Tan	TBA	verification
25 Nov 2025   13:00 ELEC201, 2th Floor Lecture Theater EEE	Raimundo Saona Urmeneta LSE	Blind Stochastic Games: From nonexistence, through undecidability, to subclasses	dept
20 Nov 2025   11:00 Ashton 208	Michal Ajdarow	TBA	verification
18 Nov 2025   13:00 ELEC201, 2th Floor Lecture Theater EEE	Yalin Zheng Dept. of Eye and Vision Science, UoL	From Feature Engineering to Foundation Models: A Journey of AI in Health at Liverpool	dept
13 Nov 2025   11:00 Ashton 208	Louwe Kuijer	TBA	verification
11 Nov 2025   13:00 ELEC201, 2th Floor Lecture Theater EEE	Luca Prigioniero Loughborough University	Descriptional Complexity of Models for Regular Languages	dept
10 Nov 2025   14:00 Ashton Lecture Theatre	Bob Krekelberg Utrecht	On the FirstFit Algorithm for Online Unit-Interval Coloring	dept
06 Nov 2025   11:00 Ashton 208	Ullrich Hustadt	Modal Logic Reasoning: The Long View	verification
04 Nov 2025   13:00 ELEC201, 2th Floor Lecture Theater EEE	Karolina Okrasa University of Oxford	Strong sparsification for 1-in-3-Sat	dept
28 Oct 2025   13:00 Ashton Lecture Theatre	Son Tong Siemens	Industrial AI and Generative AI for Digital Twin	dept
21 Oct 2025   13:00 ELEC201, 2th Floor Lecture Theater EEE	Laure Daviaud University of East Anglia	Weighted automata: what is it? And why is it fun to study?	dept
16 Oct 2025   11:00 Ashton 208	Soumyajit Paul Liverpool	Resolving Nondeterminism by Chance	verification
23 Sep 2025   13:00 ELEC201, 2th Floor Lecture Theater EEE	Neil Olver LSE	Nonuniform graph partitioning with just a little flex	dept
08 Sep 2025   9:00 Materials Innovation Factory, Liverpool, UK	Janos Pach Rényi Institute, Budapest and EPFL, Lausanne	[MACSMIN] Mysteries about crossing numbers	dept
19 Aug 2025   13:00	Meena Mahajan The Institute of Mathematical Sciences, Chennai	Semi-Algebraic Proof Systems for QBF	dept

Older Seminars

ordered by Academic Year

• 2024/25
• 2023/24
• 2022/23
• 2021/22
• 2020/21
• 2019/20
• 2018/19
• 2017/18
• 2016/17
• 2015/16
• 2014/15
• 2013/14
• 2012/13
• 2011/12
• 2010/11
• 2009/10
• 2008/09
• 2007/08
• 2006/07
• 2005/06
• 2004/05
• 2003/04
• 2002/03
• 2001/02
• 2000/01

---

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]