Verification Series

Seminars and research group discussions are normally held at 11am on Tuesday, typically in meeting room 2.08 or 1.01.
Suggestions for possible speakers should be sent to Alexei

Currently meetings are being held on-line via Microsoft Teams

All Seminars

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

• 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