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 |
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
Maintained by Othon Michail