Dagstuhl Reports, Volume 8, Issue 4,

• Dagstuhl Reports, Volume 8, Issue 4, April 2018, Complete Issue 10.4230/DagRep.8.4
• Dagstuhl Reports, Table of Contents, Volume 8, Issue 4, 2018 10.4230/DagRep.8.4.i
• Shuvendu K. Lahiri, Andrzej Murawski, Ofer Strichman, and Mattias Ulbrich Program Equivalence (Dagstuhl Seminar 18151) 10.4230/DagRep.8.4.1
• Foteini Baldimtsi, Stefan Katzenbeisser, Volkmar Lotz, and Edgar Weippl Blockchains, Smart Contracts and Future Applications (Dagstuhl Seminar 18152) 10.4230/DagRep.8.4.20
• Jan Aerts, Nils Gehlenborg, Georgeta Elisabeta Marai, and Kay Katja Nieselt Visualization of Biological Data - Crossroads (Dagstuhl Seminar 18161) 10.4230/DagRep.8.4.32
• Mehdi Dastani, Jürgen Dix, Harkp Verhagen, and Serena Villata Normative Multi-Agent Systems (Dagstuhl Seminar 18171) 10.4230/DagRep.8.4.72
• Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, and Tom Schrijvers Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172) 10.4230/DagRep.8.4.104
• David Eyers, Christopher Millard, Margo Seltzer, and Jatinder Singh Towards Accountable Systems (Dagstuhl Seminar 18181) 10.4230/DagRep.8.4.126
• Pekka Abrahamsson, Jan Bosch, Sjaak Brinkkemper, and Alexander Mädche Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research (Dagstuhl Seminar 18182) 10.4230/DagRep.8.4.164