Dagstuhl Reports, Volume 5, Issue 4,

• Dagstuhl Reports, Volume 5, Issue 4, April 2015, Complete Issue 10.4230/DagRep.5.4
• Dagstuhl Reports, Table of Contents, Volume 5, Issue 4, 2015 10.4230/DagRep.5.4.i
• David Hutchison, Klara Nahrstedt, Marcus Schöller, Indra Spiecker gen. Döhmann, and Markus Tauber Assuring Resilience, Security and Privacy for Flexible Networked Systems and Organisations (Dagstuhl Seminar 15151) 10.4230/DagRep.5.4.1
• Trevor Darrell, Marius Kloft, Massimiliano Pontil, Gunnar Rätsch, and Erik Rodner Machine Learning with Interdependent and Non-identically Distributed Data (Dagstuhl Seminar 15152) 10.4230/DagRep.5.4.18
• Christian Lengauer, Matthias Bolten, Robert D. Falgout, and Olaf Schenk Advanced Stencil-Code Engineering (Dagstuhl Seminar 15161) 10.4230/DagRep.5.4.56
• Jane Cleland-Huang, Sanjai Rayadurgam, Patrick Mäder, and Wilhelm Schäfer Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162) 10.4230/DagRep.5.4.76
• Armin Biere, Vijay Ganesh, Martin Grohe, Jakob Nordström, and Ryan Williams Theory and Practice of SAT Solving (Dagstuhl Seminar 15171) 10.4230/DagRep.5.4.98
• Gilles Barthe, Andrew D. Gordon, Joost-Pieter Katoen, and Annabelle McIver Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181) 10.4230/DagRep.5.4.123
• Darren Cofer, Gerwin Klein, Konrad Slind, and Virginie Wiels Qualification of Formal Methods Tools (Dagstuhl Seminar 15182) 10.4230/DagRep.5.4.142