Outcome of a Dagstuhl Seminar: CoCoME 2007