School Seminar Series
Past Talks
| Date | Speaker | Title | Host |
|---|---|---|---|
17 Mar 2026![]() 13:00 Ashton Lecture Theatre |
János Pach Alfréd Rényi Institute |
On the distribution of distances: Quo vadis? | [vkurlin] |
13 Mar 2026![]() 13:00 Ashton Lecture Theatre |
Aris Pagourtzis National Technical University of Athens and Archimedes, Athena RC, Greece |
Finite Pinwheel Scheduling: the k-Visits Problem | [lechu] |
11 Mar 2026![]() 14:00 Ashton Lecture Theatre |
Moshe Y. Vardi Rice University |
Are AI minds genuine minds? | [shufang] |
10 Mar 2026![]() 13:00 Ashton Lecture Theatre |
Liana Khazaliya TU Wien |
Non-Clashing Teaching in Graphs | [zamaraev] |
03 Mar 2026![]() 13:00 Ashton Lecture Theatre |
Ieva Čepaitė Phasecraft, London |
Quantum heuristics for hard optimisation problems | [zamaraev] |
27 Feb 2026![]() 13:00 ALT pizza |
Karteek Sreenivasaiah |
Boolean circuits, and locally verifiable proofs. | |
24 Feb 2026![]() 13:00 EEE Building, Elec204 |
Matthias Kaul University of Bonn |
An Invitation to Coarse Graph Theory | [spoerha] |
17 Feb 2026![]() 13:00 Ashton Lecture Theatre |
Daniel Vaz ESIEE Paris, Université Gustave Eiffel |
Nearly-Tight Bounds for Flow Sparsifiers in Quasi-Bipartite Graphs | [spoerha] |
10 Feb 2026![]() 13:00 Ashton Lecture Theatre |
Paul Bastide University of Oxford |
Exploring temporal graphs | [zamaraev] |
04 Feb 2026![]() 14:00 ALT pizza |
Wenjun Ye |
Modelling and Control of Hysteresis Nonlinearities in Smart Actuators | |
27 Jan 2026![]() 13:00 Ashton Lecture Theatre |
Vihan Shah University of Birmingham |
Sublinear-Time Lower Bounds for Approximating Matching Size using Non-Adaptive Queries | [karteek] |
16 Dec 2025![]() 13:00 Ashton Lecture Theatre |
Alex Hernandez-Garcia Université de Montréal |
Generative modelling and active learning for scientific discoveries | [vkurlin] |
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] |
24 Oct 2025![]() 11:00 ALT pizza |
Anish Mukherjee |
The Evolving Landscape of Dynamic Complexity | |
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] |
10 Oct 2025![]() 11:00 ALT pizza |
Daniel Hausmann |
Manna-Pnueli Games for Reactive Synthesis | |
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 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
School of Computer Science & Informatics
,
University of Liverpool
Ashton Street, Liverpool, L69 3BX
United Kingdom
Ashton Street, Liverpool, L69 3BX
United Kingdom
+44 (0)151 795 4275
Call the school
+44 (0)151 795 4275