Verification Series

Past Talks: 2021/22 Session

Date	Speaker	Title
25 May 2022 ACTO	Ruiwen Dong University of Oxford	On the Identity Problem for unipotent matrix groups of nilpotency class at most ten.
30 Jun 2022	Qiyi Tang	-
26 Jul 2022 dept	Prof. Paul Fergus, Dr. Carl Chalmers School of Computer Science and Mathematics, Liverpool John Moores University	Turning the Tide on Biodiversity Loss Using Applied Artificial Intelligence

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

• 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