|
 Details of the new Algorithms Group at Oxford.
 News: Some of the slides are now online.
All talks will be held in St John's College in the New Seminar Room (no. 5 on the map of St John's College at the bottom of the page), except Christos Papadimitriou's Strachey Lecture which will be held in Lecture Theatre A in the Department of Computer Science (see map of Oxford below).
9:30 - 10:00 | Opening | |
10:00 - 10:45 | Monika Henzinger: Breaking the O(n m) Barrier for Buechi Games and Maximal End-Component Decomposition | |
10:45 - 11:30 | Elias Koutsoupias: Approaching Utopia: Strong Truthfulness and Externality-Resistant Mechanisms | |
11:30 - 12:00 | Coffee break | |
12:00 - 12:45 | Leslie Goldberg: The Complexity of Computing the Sign of the Tutte Polynomial | |
12:45 - 14:00 | Lunch | |
14:00 - 14:45 | Paul Goldberg: Towards Zillions of PSPACE-completeness Results | |
14:45 - 15:30 | Joan Feigenbaum: DISSENT: Accountable, Anonymous Communication on the Internet | |
15:30 - 16:00 | Coffee break | |
16:00 - 16:45 | Peter Jeavons: Discrete Optimisation - The Big Picture | |
16:45 - 17:30 | Richard Lipton: Is the Halting Problem Really Undecidable? |
10:00 - 10:45 | Raphaël Clifford: Lower Bounds for Streaming Problems | |
10:45 - 11:30 | Phil Blunsom: A Bayesian Approach to Learning the Structure of Human Languages | |
11:30 - 12:00 | Coffee break | |
12:00 - 12:45 | Georg Gottlob: Hypergraph Transversals and Monotone Boolean Formula Dualization | |
12:45 - 14:00 | Lunch | |
14:00 - 14:45 | Joël Ouaknine: Decision Problems for Linear Recurrence Sequences | |
14:45 - 15:30 | Robert Tarjan: Algorithm Design: Theory and Practice | |
15:30 - 16:30 | Coffee break | |
16:30 - 17:30 | Christos Papadimitriou (Strachey Lecture): Computational Insights and the Theory of Evolution | PPT |
The workshop will take place in the New Seminar Room (no. 5 on the map below) in St John's College, Oxford (click on the image below to obtain a detailed college map).
Note that Christos Papadimitriou's Strachey Lecture which will be held in Lecture Theatre A in the Department of Computer Science (see map of Oxford above).