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

Upcoming Seminars

Date	Speaker	Title
28 Jan 2025   13:00 6th Floor Conference Room 605, EEE dept	Leoni Winschermann University of Twente	`Solving` the energy transition - Research on the interface between optimization and application
04 Feb 2025   13:00 Ashton Lecture Theatre dept	Andrei Krokhin University of Durham	The complexity of Promise Constraint Satisfaction Problems

• Include past talks

---

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