Dagstuhl Reports, Volume 7, Issue 4,

• Dagstuhl Reports, Volume 7, Issue 4, April 2017, Complete Issue 10.4230/DagRep.7.4
• Dagstuhl Reports, Table of Contents, Volume 7, Issue 4, 2017 10.4230/DagRep.7.4.i
• Bodo Manthey, Claire Mathieu, Heiko Röglin, and Eli Upfal Probabilistic Methods in the Design and Analysis of Algorithms (Dagstuhl Seminar 17141) 10.4230/DagRep.7.4.1
• Emmanuel Filiot, Sebastian Maneth, and Helmut Seidl Formal Methods of Transformations (Dagstuhl Seminar 17142) 10.4230/DagRep.7.4.23
• Lewis Chuang, Sven Gehring, Judy Kay, and Albrecht Schmidt Ambient Notification Environments (Dagstuhl Seminar 17161) 10.4230/DagRep.7.4.38
• Nataliia Bielova, Nikolaos Laoutaris, Arvind Narayanan, and Nick Nikiforakis Online Privacy and Web Transparency (Dagstuhl Seminar 17162) 10.4230/DagRep.7.4.83
• Orfried Cheong, Anne Driemel, and Jeff Erickson Computational Geometry (Dagstuhl Seminar 17171) 10.4230/DagRep.7.4.107