Department Seminar Series

Past Talks

Date	Speaker	Title	Host
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)	[xiaowei]
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	[xiaowei]
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	[oanosova]
25 Nov 2025   13:00 ELEC201, 2th Floor Lecture Theater EEE	Raimundo Saona Urmeneta LSE	Blind Stochastic Games: From nonexistence, through undecidability, to subclasses	RahulSavani
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	BaoruHuang
11 Nov 2025   13:00 ELEC201, 2th Floor Lecture Theater EEE	Luca Prigioniero Loughborough University	Descriptional Complexity of Models for Regular Languages	[dpurser]
10 Nov 2025   14:00 Ashton Lecture Theatre	Bob Krekelberg Utrecht	On the FirstFit Algorithm for Online Unit-Interval Coloring	[pwong]
04 Nov 2025   13:00 ELEC201, 2th Floor Lecture Theater EEE	Karolina Okrasa University of Oxford	Strong sparsification for 1-in-3-Sat	[zamaraev]
28 Oct 2025   13:00 Ashton Lecture Theatre	Son Tong Siemens	Industrial AI and Generative AI for Digital Twin	[xiaowei]
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?	[dpurser]
23 Sep 2025   13:00 ELEC201, 2th Floor Lecture Theater EEE	Neil Olver LSE	Nonuniform graph partitioning with just a little flex	[spoerha]
08 Sep 2025   9:00 Materials Innovation Factory, Liverpool, UK	Janos Pach Rényi Institute, Budapest and EPFL, Lausanne	[MACSMIN] Mysteries about crossing numbers	[vkurlin]
19 Aug 2025   13:00	Meena Mahajan The Institute of Mathematical Sciences, Chennai	Semi-Algebraic Proof Systems for QBF	[karteek]

Older Seminars

ordered by Academic Year

• Upcoming seminars
• 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

• 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