Dagstuhl Reports, Volume 2, Issue 4,

• Dagstuhl Reports, Volume 2, Issue 4, April 2012, Complete Issue 10.4230/DagRep.2.4
• Dagstuhl Reports, Table of Contents, Volume 2, Issue 4, 2012 10.4230/DagRep.2.4.i
• Daniel Keefe, Antonio Krüger, Frank Steinicke, and Jean-Baptiste de la Rivière Touching the 3rd Dimension (Dagstuhl Seminar 12151) 10.4230/DagRep.2.4.1
• Rastislav Bodík, Sumit Gulwani, and Eran Yahav Software Synthesis (Dagstuhl Seminar 12152) 10.4230/DagRep.2.4.21
• Grigoris Antoniou, Oscar Corcho, Karl Aberer, Elena Simperl, and Rudi Studer Semantic Data Management (Dagstuhl Seminar 12171) 10.4230/DagRep.2.4.39