Verification Series

Past Talks

Date	Speaker	Title
19 Nov 2024   13:00 Ashton Lecture Theatre dept	Luca Zanetti University of Bath	An analysis of Elo rating systems via Markov chains
22 Oct 2024   13:00 Ashton Lecture Theatre dept	Ron van der Meyden University of New South Wales	Epistemic Model Checking and Synthesis of Byzantine Agreement Protocols

Older Seminars

ordered by Academic Year

• Upcoming seminars
• 2023/24
• 2022/23
• 2021/22
• 2020/21
• 2019/20
• 2018/19
• 2017/18

---

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