Skip navigation

Department of Computer Science

Department of Computer Science
  • Computer Science
  • Information for Taught Students (UG/PGT)
  • Information for Research Students
  • Information for Staff
  • School Website
  • School Staff Intranet
  • School Health & Safety Intranet

Department of Computer Science

  • Information for Taught Students (UG/PGT)
  • Information for Research Students
  • Information for Staff
  • School Website
  • School Staff Intranet
  • School Health & Safety Intranet
Part of the Faculty of Science and Engineering Part of the School of Electrical Engineering, Electronics and Computer Science EEECS Equality, Diversity and Inclusion Committee
  • University home
  •  > Computer Science
  •  > Research
  •  > Artificial Intelligence Section
  •  > Verification
  •  > Seminars

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

Department of Computer Science , University of Liverpool
Ashton Street, Liverpool, L69 3BX
United Kingdom
+44 (0)151 795 4275

Call the department

+44 (0)151 795 4275