Dagstuhl Reports, Volume 2, Issue 7,

• Dagstuhl Reports, Volume 2, Issue 7, July 2012, Complete Issue 10.4230/DagRep.2.7
• Dagstuhl Reports, Table of Contents, Volume 2, Issue 7, 2012 10.4230/DagRep.2.7.i
• Alan Bundy, Dieter Hutter, Cliff B. Jones, and J Strother Moore AI meets Formal Software Development (Dagstuhl Seminar 12271) 10.4230/DagRep.2.7.1
• Peter Feiler, Jérôme Hugues, and Oleg Sokolsky Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272) 10.4230/DagRep.2.7.30
• Rüdiger Kapitza, Matthias Schunter, Marc Shapiro, Paulo Verissimo, and Michael Waidner Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281) 10.4230/DagRep.2.7.56
• Shivnath Babu, Goetz Graefe, and Harumi Anne Kuno Database Workload Management (Dagstuhl Seminar 12282) 10.4230/DagRep.2.7.73
• Alberto Apostolico, Andreas Dress, and Laxmi Parida Structure Discovery in Biology: Motifs, Networks & Phylogenies (Dagstuhl Seminar 12291) 10.4230/DagRep.2.7.92