Dagstuhl Reports, Volume 3, Issue 9,

• Dagstuhl Reports, Volume 3, Issue 09, September 2013, Complete Issue 10.4230/DagRep.3.9
• Dagstuhl Reports, Table of Contents, Volume 3, Issue 09, 2013 10.4230/DagRep.3.9.i
• Tobias Hoßfeld, Phuoc Tran-Gia, and Maja Vucovic Crowdsourcing: From Theory to Practice and Long-Term Perspectives (Dagstuhl Seminar 13361) 10.4230/DagRep.3.9.1
• Michael N. Huhns, Wei Li, and Wei-Tek Tsai Cloud-based Software Crowdsourcing (Dagstuhl Seminar 13362) 10.4230/DagRep.3.9.34
• Serge Fehr, Michele Mosca, Martin Rötteler, and Rainer Steinwandt Quantum Cryptanalysis (Dagstuhl Seminar 13371) 10.4230/DagRep.3.9.59
• Uwe Glässer, Stefan Hallerstede, Michael Leuschel, and Elvinia Riccobene Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) 10.4230/DagRep.3.9.74
• Henri Casanova, Yves Robert, and Uwe Schwiegelshohn Algorithms and Scheduling Techniques for Exascale Systems (Dagstuhl Seminar 13381) 10.4230/DagRep.3.9.106
• Alan Blackwell, Alex McLean, James Noble, and Julian Rohrhuber Collaboration and learning through live coding (Dagstuhl Seminar 13382) 10.4230/DagRep.3.9.130
• Andrew V. Goldberg, Giuseppe F. Italiano, David S. Johnson, and Dorothea Wagner Algorithm Engineering (Dagstuhl Seminar 13391) 10.4230/DagRep.3.9.169
• Onur Altintas, Falko Dressler, Hannes Hartenstein, and Ozan K. Tonguz Inter-Vehicular Communication -- Quo Vadis (Dagstuhl Seminar 13392) 10.4230/DagRep.3.9.190
• Siegfried Benkner, Franz Franchetti, Hans Michael Gerndt, and Jeffrey K. Hollingsworth Automatic Application Tuning for HPC Architectures (Dagstuhl Seminar 13401) 10.4230/DagRep.3.9.214
• Amit P. Sheth, Payam Barnaghi, Markus Strohmaier, Ramesh Jain, and Streffen Staab Physical-Cyber-Social Computing (Dagstuhl Reports 13402) 10.4230/DagRep.3.9.245