Friday Lunch and Talk Series

Past Talks

Date	Speaker	Title
27 Feb 2026   13:00 ALT	Karteek Sreenivasaiah	Boolean circuits, and locally verifiable proofs.
04 Feb 2026   14:00 ALT	Wenjun Ye	Modelling and Control of Hysteresis Nonlinearities in Smart Actuators
24 Oct 2025   11:00 ALT	Anish Mukherjee	The Evolving Landscape of Dynamic Complexity
10 Oct 2025   11:00 ALT	Daniel Hausmann	Manna-Pnueli Games for Reactive Synthesis

Older Seminars

ordered by Academic Year

• Upcoming seminars
• 2024/25
• 2023/24
• 2022/23

---

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