Overview of all talks

Past Talks

Date	Speaker	Title	Series
16 Oct 2025   11:00 Ashton 208	Soumyajit Paul Liverpool	Resolving Nondeterminism by Chance	verification
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

• 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]