Dagstuhl Reports, Volume 4, Issue 6,

• Dagstuhl Reports, Volume 4, Issue 6, June 2014, Complete Issue 10.4230/DagRep.4.6
• Dagstuhl Reports, Table of Contents, Volume 4, Issue 6, 2014 10.4230/DagRep.4.6.i
• Min Chen, Charles D. Hansen, Penny Rheingans, and Gerik Scheuermann Scientific Visualization (Dagstuhl Seminar 14231) 10.4230/DagRep.4.6.1
• Jakob Rehof and Moshe Y. Vardi Design and Synthesis from Components (Dagstuhl Seminar 14232) 10.4230/DagRep.4.6.29
• Roberto Giacobazzi, Axel Simon, and Sarah Zennou Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241) 10.4230/DagRep.4.6.48
• Harald Gall, Tim Menzies, Laurie Williams, and Thomas Zimmermann Software Development Analytics (Dagstuhl Seminar 14261) 10.4230/DagRep.4.6.64
• Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, and Peter Thiemann Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271) 10.4230/DagRep.4.6.84
• m.c. schraefel and Elizabeth F. Churchill Exploring Interdisciplinary Grand Challenges in ICT Design to Support Proactive Health and Wellbeing (Dagstuhl Perspectives Workshop 14272) 10.4230/DagRep.4.6.108