Department Seminar Series

Unless otherwise stated, the following seminars normally take place in

• the Ashton Lecture Theatre
  (First floor, Ashton Building, location 422 on the campus map)
• on Tuesdays, 1 - 2pm.

If you would like to give a seminar, or to suggest a possible seminar speaker, please contact John Sylvester.

Upcoming Seminars

Date	Speaker	Title	Host
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 Huang
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 Huang
16 Dec 2025   13:00 Ashton Lecture Theatre	Alex Hernandez-Garcia Université de Montréal	Generative modelling and active learning for scientific discoveries	[vkurlin]
27 Jan 2026   13:00	Vihan Shah University of Birmingham	Sublinear-Time Lower Bounds for Approximating Matching Size using Non-Adaptive Queries	[karteek]
10 Feb 2026   13:00	Paul Bastide Universiry of Oxford		Viktor Zamaraev
03 Mar 2026   13:00	Ieva Čepaitė Phasecraft, Bristol		Viktor Zamaraev

• Include past talks

---

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