Overview of all talks

Upcoming Seminars

Date	Speaker	Title	Series
03 Jun 2026   13:00 GH223	Rahul Savani University of Liverpool	From Natural Language to Extensive-Form Game Representations: Defining and Automatically Verifying Consistency	ACS
16 Jun 2026   13:00 Brodi tower R106	Subhajit Pramanick University of Wroclaw	Distributed Local Verification using Proofs with(out) Errors	dept
23 Jun 2026   13:00 Ashton Lecture Theatre	Chengyu Zhang		dept

• Include past talks

---

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]