Dagstuhl Reports, Volume 7, Issue 5,

• Dagstuhl Reports, Volume 7, Issue 5, May 2017, Complete Issue 10.4230/DagRep.7.5
• Dagstuhl Reports, Table of Contents, Volume 7, Issue 5, 2017 10.4230/DagRep.7.5.i
• Martin Dietzfelbinger, Michael Mitzenmacher, Rasmus Pagh, David P. Woodruff, and Martin Aumüller Theory and Applications of Hashing (Dagstuhl Seminar 17181) 10.4230/DagRep.7.5.1
• Carola Doerr, Christian Igel, Lothar Thiele, and Xin Yao Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191) 10.4230/DagRep.7.5.22
• Tarek R. Besold, Artur d'Avila Garcez, and Luis C. Lamb Human-Like Neural-Symbolic Computing (Dagstuhl Seminar 17192) 10.4230/DagRep.7.5.56
• Calin A. Belta, Rupak Majumdar, Maijid Zamani, and Matthias Rungger Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201) 10.4230/DagRep.7.5.84
• André Brinkmann, Kathryn Mohror, and Weikuan Yu Challenges and Opportunities of User-Level File Systems for HPC (Dagstuhl Seminar 17202) 10.4230/DagRep.7.5.97
• Falai Chen, Chen Dokken, Thomas A. Grandine, and Géraldine Morin Geometric Modelling, Interoperability and New Challenges (Dagstuhl Seminar 17221) 10.4230/DagRep.7.5.140
• Renata Borovica-Gajic, Goetz Graefe, and Allison Lee Robust Performance in Database Query Processing (Dagstuhl Seminar 17222) 10.4230/DagRep.7.5.169