Overview of all talks

Upcoming Seminars

Date	Speaker	Title	Series
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
11 Dec 2025   11:00 Ashton 208	Qiyi Tang	TBA	verification
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
16 Dec 2025   13:00 Ashton Lecture Theatre	Alex Hernandez-Garcia Université de Montréal	Generative modelling and active learning for scientific discoveries	dept
10 Feb 2026   13:00	Paul Bastide Universiry of Oxford		dept
03 Mar 2026   13:00	Ieva Čepaitė Phasecraft, Bristol		dept

• Include past talks

---

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]