Dagstuhl Reports, Volume 7, Issue 8,

• Dagstuhl Reports, Volume 7, Issue 8, August 2017, Complete Issue 10.4230/DagRep.7.8
• Dagstuhl Reports, Table of Contents, Volume 7, Issue 8, 2017 10.4230/DagRep.7.8.i
• Yifan Hu, Luana Micallef, Martin Nöllenburg, and Peter Rodgers Scalable Set Visualizations (Dagstuhl Seminar 17332) 10.4230/DagRep.7.8.1
• Ivona Bezáková, Leslie Ann Goldberg, and Mark R. Jerrum Computational Counting (Dagstuhl Seminar 17341) 10.4230/DagRep.7.8.23
• Benoît Combemale, Ralf Lämmel, and Eric Van Wyk SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342) 10.4230/DagRep.7.8.45
• Sanjit A. Seshia, Xianjin (Jerry) Zhu, Andreas Krause, and Susmit Jha Machine Learning and Formal Methods (Dagstuhl Seminar 17351) 10.4230/DagRep.7.8.55
• Eva Darulova, Alastair F. Donaldson, Zvonimir Rakamaric, and Cindy Rubio-González Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352) 10.4230/DagRep.7.8.74