Dagstuhl Reports, Volume 8, Issue 5,

• Dagstuhl Reports, Volume 8, Issue 5, May 2018, Complete Issue 10.4230/DagRep.8.5
• Dagstuhl Reports, Table of Contents, Volume 8, Issue 5, 2018 10.4230/DagRep.8.5.i
• Amal Ahmed, Deepak Garg, Catalin Hritcu, and Frank Piessens Secure Compilation (Dagstuhl Seminar 18201) 10.4230/DagRep.8.5.1
• Onur Altintas, Suman Banerjee, Falko Dressler, and Geert Heijenk Inter-Vehicular Communication Towards Cooperative Driving (Dagstuhl Seminar 18202) 10.4230/DagRep.8.5.31
• Javier Esparza, Pierre Fraignaud, Anca Muscholl, and Sergio Rajsbaum Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211) 10.4230/DagRep.8.5.60
• Kasper Hornbaek, David Kirsh, Joseph A. Paradiso, and Jürgen Steimle On-Body Interaction: Embodied Cognition Meets Sensor/Actuator Engineering to Design New Interfaces (Dagstuhl Seminar 18212) 10.4230/DagRep.8.5.80