Verification Series

Past Talks

Date	Speaker	Title
01 Feb 2024	Paul Soumyajit
05 Sep 2023	Yong Li	Singly Exponential Translation of Alternating Weak Buchi Automata to Unambiguous Buchi Automata

Older Seminars

ordered by Academic Year

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

---

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