Dagstuhl Reports, Volume 3, Issue 4,

• Dagstuhl Reports, Volume 3, Issue 04, April 2013, Complete Issue 10.4230/DagRep.3.4
• Dagstuhl Reports, Table of Contents, Volume 3, Issue 04, 2013 10.4230/DagRep.3.4.i
• Bernadette Charron-Bost, Stephan Merz, Andrey Rybalchenko, and Josef Widder Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141) 10.4230/DagRep.3.4.1
• Albert Cohen, Alastair F. Donaldson, Marieke Huisman, and Joost-Pieter Katoen Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142) 10.4230/DagRep.3.4.17
• Stephen G. Kobourov, Martin Nöllenburg, and Monique Teillaud Drawing Graphs and Maps with Curves (Dagstuhl Seminar 13151) 10.4230/DagRep.3.4.34
• Sergiu Hart, Éva Tardos, and Bernhard von Stengel Interface of Computation, Game Theory, and Economics (Dagstuhl Seminar 13161) 10.4230/DagRep.3.4.69
• Ondrej Lhotak, Yannis Smaragdakis, and Manu Sridharan Pointer Analysis (Dagstuhl Seminar 13162) 10.4230/DagRep.3.4.91
• Luciano Baresi, Andreas Rummler, and Klaus Schmid Customizing Service Platforms (Dagstuhl Seminar 13171) 10.4230/DagRep.3.4.114
• Alessio R. Lomuscio, Sophie Pinchinat, and Holger Schlingloff VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181) 10.4230/DagRep.3.4.151
• Tony Clark, Robert B. France, Martin Gogolla, and Bran V. Selic Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182) 10.4230/DagRep.3.4.188