Dagstuhl Seminar Proceedings: Probabilistic Methods in the Design and Analysis of Algorithms 2007