Overview of all talks
Past Talks
| Date | Speaker | Title | Series |
|---|---|---|---|
26 Mar 2026 14:00 |
Helen Wilson / Gabriela Czanner / Erica Flapan / Yulia Gel UCL / Southampton / Pomona College / Virginia Tech |
Women in interdisciplinary sciences | MIF |
|
24 Mar 2026 14:00 |
Laura Gardiner IBM Research, UK |
Harnessing Multi?Omics Foundation Models to Accelerate Biomedical Discovery. | MIF |
|
24 Mar 2026 13:00 EEE Building, Elec201 |
Jara Uitto Aalto University |
Massively Parallel Algorithms for Symmetry-Breaking Problems in Sparse Graphs | dept |
|
19 Mar 2026 11:00 Ashton 208 |
Alexei Lisitsa UoL |
Quantum verification via tangles, quandles, and automated reasoning | verification |
|
18 Mar 2026 14:30 |
Daniel Widdowson MIF |
The Crystal Geomap visualises materials databases in real time. | MIF |
|
18 Mar 2026 14:00 |
Vitaliy Kurlin MIF |
Resolving the data ambiguity for periodic crystals. | MIF |
|
18 Mar 2026 13:00 GH223 |
Paul Spirakis University of Liverpool |
Temporal Graph Realization With Bounded Stretch | ACS |
|
17 Mar 2026 13:00 Ashton Lecture Theatre |
János Pach Alfréd Rényi Institute |
On the distribution of distances: Quo vadis? | dept |
|
17 Mar 2026 13:00 |
Janos Pach Rényi Institute, Budapest and EPFL, Lausanne |
On the distribution of distances: Quo vadis? | MIF |
|
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 | dept |
|
12 Mar 2026 11:00 Ashton 208 |
Raj Roy UoL |
TBA | verification |
|
11 Mar 2026 14:00 Ashton Lecture Theatre |
Moshe Y. Vardi Rice University |
Are AI minds genuine minds? | dept |
|
10 Mar 2026 14:00 |
Gil Alon Open University of Israel |
Continuous symmetry measures of molecules and crystals. | MIF |
|
10 Mar 2026 13:00 Ashton Lecture Theatre |
Liana Khazaliya TU Wien |
Non-Clashing Teaching in Graphs | dept |
|
05 Mar 2026 11:00 Ashton 208 |
Daniel Hausmann UoL |
TBA | verification |
|
04 Mar 2026 13:00 GH223 |
Rasmus Ibsen-Jensen University of Liverpool |
Introduction to Concurrent Stochastic Games | ACS |
|
03 Mar 2026 14:00 |
Julie Rowlett Chalmers University of Technology, Sweden |
Isospectrality and Moduli Spaces. | MIF |
|
03 Mar 2026 13:00 Ashton Lecture Theatre |
Ieva ÄŒepaitÄ— Phasecraft, London |
Quantum heuristics for hard optimisation problems | dept |
|
27 Feb 2026 13:00 ALT |
Karteek Sreenivasaiah |
Boolean circuits, and locally verifiable proofs. | pizza |
|
26 Feb 2026 11:00 Ashton 208 |
Sarvin Bahmani UoL |
The Complexity of Games with Randomised Control | verification |
|
24 Feb 2026 14:00 |
Lauren Porter National Library of Medicine, Bethesda, US |
Looking inside AlphaFold�s black box. | MIF |
|
24 Feb 2026 13:00 EEE Building, Elec204 |
Matthias Kaul University of Bonn |
An Invitation to Coarse Graph Theory | dept |
|
19 Feb 2026 11:00 Ashton 208 |
David Purser UoL |
Automata Automata | verification |
|
18 Feb 2026 13:00 GH223 |
Leszek Gasieniec University of Liverpool |
Selected Problems in Self‑Stabilising Population Protocols | ACS |
|
17 Feb 2026 14:00 |
Alexey Garber University of Texas Rio Grande Valley, US |
Lattices, Parallelohedra, and the Voronoi Conjecture. | MIF |
|
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 | dept |
|
12 Feb 2026 11:00 |
Rasmus Ibsen-Jensen University of Liverpool |
Overview of Concurrent Games | verification |
|
10 Feb 2026 14:00 |
Dave Braines CTO Emerging Technology, IBM Research, UK |
Harnessing Foundation Models for Materials and Chemistry with a sustainability use case. | MIF |
|
10 Feb 2026 13:00 Ashton Lecture Theatre |
Paul Bastide University of Oxford |
Exploring temporal graphs | dept |
|
04 Feb 2026 14:00 ALT |
Wenjun Ye |
Modelling and Control of Hysteresis Nonlinearities in Smart Actuators | pizza |
|
04 Feb 2026 13:00 GH223 |
John Fearnley University of Liverpool |
Fisher Markets with Approximately Optimal Bundles and the Need for a PCP Theorem for PPAD | ACS |
|
03 Feb 2026 14:00 |
Oleg Karpenkov Mathematical Sciences |
Geometry of continued fractions. | MIF |
|
29 Jan 2026 11:00 Ashton 208 |
Louwe Kuijer |
Modal interpolants on fixed finite frames | verification |
|
27 Jan 2026 14:00 |
Egon Schulte Northeastern University, US |
Local Theory in Delone Sets and Tilings. | MIF |
|
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 | dept |
|
22 Jan 2026 11:00 |
Yi Dong UOL |
Fine-grained Activation Manipulation by Contrastive Orthogonal Unalignment for Large Language Model | verification |
|
16 Dec 2025 13:00 Ashton Lecture Theatre |
Alex Hernandez-Garcia Université de Montréal |
Generative modelling and active learning for scientific discoveries | dept |
|
16 Dec 2025 13:00 |
Alex Hernandez-Garcia University of Montreal and Mila Institute, Canada |
Generative modelling and active learning for scientific discoveries. | MIF |
|
12 Dec 2025 15:00 |
Wolfgang Hornfeck Institute of Physics of the Czech Academy of Sciences |
Chiral Spiral Cyclic Twins. | MIF |
|
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 |
|
09 Dec 2025 14:00 |
Gábor Domokos Budapest University of Technology and Economics, Hungary |
Natural tilings and the geometry of soft cells. | MIF |
|
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 |
|
28 Nov 2025 13:00 |
Daniel Widdowson MIF |
Visualising crystal structures from the ICSD by the Crystal Geomap. | MIF |
|
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 |
|
21 Nov 2025 15:00 |
Mikkel Juelsholt Humboldt University of Berlin, Germany |
Continued Challenges in High-Throughput Materials Predictions | MIF |
|
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 |
|
14 Nov 2025 15:00 |
Lauren McHugh Chemistry |
Metal?Organic Frameworks: From Structure to Function. | MIF |
|
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 |
|
07 Nov 2025 15:00 |
Shannon Bernier Johns Hopkins University, US |
A Crystallographic Metric for Continuous Quantification of Unit Cell Deformation. | MIF |
|
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 |
|
31 Oct 2025 15:00 |
Olga Anosova Computer Science |
Thousands of exact duplicates in high-profile structural databases. | MIF |
|
28 Oct 2025 13:00 Ashton Lecture Theatre |
Son Tong Siemens |
Industrial AI and Generative AI for Digital Twin | dept |
|
24 Oct 2025 15:00 |
Felix Therrien Mila Institute, Montreal, Canada |
Accelerating Materials Discovery with Application-Focused Machine Learning. | MIF |
|
24 Oct 2025 11:00 ALT |
Anish Mukherjee |
The Evolving Landscape of Dynamic Complexity | pizza |
|
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 |
|
17 Oct 2025 15:00 |
Vitaliy Kurlin MIF |
The discontinuity challenge of cell-based representations of crystals. | MIF |
|
16 Oct 2025 11:00 Ashton 208 |
Soumyajit Paul Liverpool |
Resolving Nondeterminism by Chance | verification |
|
10 Oct 2025 15:00 |
Vitaliy Kurlin MIF |
Invariants of molecules, including proteins. | MIF |
|
10 Oct 2025 11:00 ALT |
Daniel Hausmann |
Manna-Pnueli Games for Reactive Synthesis | pizza |
|
03 Oct 2025 15:00 |
Vitaliy Kurlin MIF |
Equivalences between molecules, including proteins. | MIF |
|
26 Sep 2025 15:00 |
Tanaporn Na Narong Columbia University, US |
Determining Local Structure from X-ray Absorption Near-Edge Spectra with Diffusion Models. | MIF |
|
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
- 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
- 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]
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