Dagstuhl Seminar Proceedings: Algebraic Methods in Computational Complexity 2007