- Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida. Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Dagstuhl Reports, 7(1):158-189, 2017.
- Erika Ábrahám, Hadas Kress-Gazit, Lorenzo Natale, Armando Tacchella. Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). Dagstuhl Reports, 7(2):48-63, 2017.
- Marco Gaboardi, Jan Hoffmann 0002, Reinhard Wilhelm, Florian Zuleger. Resource Bound Analysis (Dagstuhl Seminar 17291). Dagstuhl Reports, 7(7):72-87, 2017.
- Daniel Cremers, Laura Leal-Taixé, René Vidal. Deep Learning for Computer Vision (Dagstuhl Seminar 17391). Dagstuhl Reports, 7(9):109-125, 2017.
- Sarah Zennou, Saumya K. Debray, Thomas Dullien, Arun Lakhotia. Malware Analysis: From Large-Scale Data Triage to Targeted Attack Recognition (Dagstuhl Seminar 17281). Dagstuhl Reports, 7(7):44-53, 2017.
- Yifan Hu, Luana Micallef, Martin Nöllenburg, Peter J. Rodgers. Scalable Set Visualizations (Dagstuhl Seminar 17332). Dagstuhl Reports, 7(8):1-22, 2017.
- Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz. A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). Dagstuhl Reports, 7(11):59-85, 2017.
- André Brinkmann, Kathryn Mohror, Weikuan Yu. Challenges and Opportunities of User-Level File Systems for HPC (Dagstuhl Seminar 17202). Dagstuhl Reports, 7(5):97-139, 2017.
- Niko Beerenwinkel, Holger Fröhlich, Susan A. Murphy. Addressing the Computational Challenges of Personalized Medicine (Dagstuhl Seminar 17472). Dagstuhl Reports, 7(11):130-141, 2017.
- Emmanuel Filiot, Sebastian Maneth, Helmut Seidl. Formal Methods of Transformations (Dagstuhl Seminar 17142). Dagstuhl Reports, 7(4):23-37, 2017.