Dagstuhl Reports, Volume 5, Issue 9,

• Dagstuhl Reports, Volume 5, Issue 9, September 2015, Complete Issue 10.4230/DagRep.5.9
• Dagstuhl Reports, Table of Contents, Volume 5, Issue 9, 2015 10.4230/DagRep.5.9.i
• Michele Mosca, Martin Roetteler, Nicolas Sendrier, and Rainer Steinwandt Quantum Cryptanalysis (Dagstuhl Seminar 15371) 10.4230/DagRep.5.9.1
• Nikolaj S. Bjorner, Jasmin Christian Blanchette, Viorica Sofronie-Stokkermans, and Christoph Weidenbach Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381) 10.4230/DagRep.5.9.18
• Ricardo Duarte, Björn Eskofier, Martin Rumpf, and Josef Wiemeyer Modeling and Simulation of Sport Games, Sport Movements, and Adaptations to Training (Dagstuhl Seminar 15382) 10.4230/DagRep.5.9.38
• Aicke Hinrichs, Joseph F. Traub, Henryk Wozniakowski, and Larisa Yaroslavtseva Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 15391) 10.4230/DagRep.5.9.57
• Vasco Brattka, Akitoshi Kawamura, Alberto Marcone, and Arno Pauly Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392) 10.4230/DagRep.5.9.77
• Mikolaj Bojanczyk, Meena Mahajan, Thomas Schwentick, and Heribert Vollmer Circuits, Logic and Games (Dagstuhl Seminar 15401) 10.4230/DagRep.5.9.105
• Vincent Danos and Heinz Koeppl Self-assembly and Self-organization in Computer Science and Biology (Dagstuhl Seminar 15402) 10.4230/DagRep.5.9.125