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