Dagstuhl Reports, Volume 4, Issue 4,

• Dagstuhl Reports, Volume 4, Issue 4, April 2014, Complete Issue 10.4230/DagRep.4.4
• Dagstuhl Reports, Table of Contents, Volume 4, Issue 4, 2014 10.4230/DagRep.4.4.i
• Dirk Beyer, Marieke Huisman, Vladimir Klebanov, and Rosemary Monahan Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171) 10.4230/DagRep.4.4.1
• Krzysztof Czarnecki, Arnaud Hubaux, Ethan Jackson, Dietmar Jannach, and Tomi Männistö Unifying Product and Software Configuration (Dagstuhl Seminar 14172) 10.4230/DagRep.4.4.20
• Michael N. Huhns, Wolfgang Ketter, Ryszard Kowalczyk, Fabrice Saffre, and Rainer Unland Multi-agent systems and their role in future energy grids (Dagstuhl Seminar 14181) 10.4230/DagRep.4.4.37
• Samson Abramsky, John C. Baez, Fabio Gadducci, and Viktor Winschel Categorical Methods at the Crossroads (Dagstuhl Perspectives Workshop 14182) 10.4230/DagRep.4.4.49