Dagstuhl Reports, Volume 1, Issue 7,

• Dagstuhl Reports, Volume 1, Issue 7, July 2011, Complete Issue 10.4230/DagRep.1.7
• Dagstuhl Reports, Table of Contents, Volume 1, Issue 7, 2011 10.4230/DagRep.1.7.i
• Martin Lames, Tim McGarry, Bernhard Nebel, and Karen Roemer Computer Science in Sport - Special emphasis: Football (Dagstuhl Seminar 11271) 10.4230/DagRep.1.7.1
• Nikolaj Bjorner, Robert Nieuwenhuis, Helmut Veith, and Andrei Voronkov Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272) 10.4230/DagRep.1.7.23
• R. Michael Alvarez, Josh Benaloh, Alon Rosen, and Peter Y. A. Ryan Verifiable Elections and the Public (Dagstuhl Seminar 11281) 10.4230/DagRep.1.7.36
• Matthias Hein, Gabor Lugosi, Lorenzo Rosasco, and Steve Smale Mathematical and Computational Foundations of Learning Theory (Dagstuhl Seminar 11291) 10.4230/DagRep.1.7.53