Liverpool Distinguished Computer Science Lecture Series

Past Talks

Date	Speaker	Title
03 Oct 2018	Professor Orna Kupferman Hebrew University	Examining Classical Graph-Theory Problems from the Viewpoint of Formal-Verification Methods
21 Sep 2016	Professor Dr. Kurt Mehlhorn Max Planck Institute	The slime mold Physarum can compute shortest paths and construct nice networks
11 Dec 2013	Professor Josep Diaz Universitat Politecnica de Catalunya	Results and open questions on the Metric Dimension problem
28 May 2012	Professor Michael Wellman University of Michigan	Empirical Game-Theoretic Analysis for Canonical Auction Games
06 Apr 2011	Professor Michael Kearns University of Pennsylvania	Strategic Behavior and the Science of Social Networks
18 Mar 2010	Professor Moshe Y. Vardi Rice University	From Philosophical to Industrial Logic
04 Mar 2009	Professor Christos Papadimitriou U.C. Berkeley	The Algorithmic Lens: How the Computational Perspective is Transforming the Sciences

Upcoming seminars

---

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