Dagstuhl Reports, Volume 5, Issue 5,

• Dagstuhl Reports, Volume 5, Issue 5, May 2015, Complete Issue 10.4230/DagRep.5.5
• Dagstuhl Reports, Table of Contents, Volume 5, Issue 5, 2015 10.4230/DagRep.5.5.i
• Lars Birkedal, Derek Dreyer, Philippa Gardner, and Zhong Shao Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191) 10.4230/DagRep.5.5.1
• Roberto Casati, Patrick Cavanagh, and Paulo E. Santos The Message in the Shadow: Noise or Knowledge? (Dagstuhl Seminar 15192) 10.4230/DagRep.5.5.24
• Alexander G. Hauptmann, James Hodson, Juanzi Li, Nicu Sebe, and Achim Rettinger Cross-Lingual Cross-Media Content Linking: Annotations and Joint Representations (Dagstuhl Seminar 15201) 10.4230/DagRep.5.5.43
• Benajmin Doerr, Nikolaus Hansen, Christian Igel, and Lothar Thiele Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211) 10.4230/DagRep.5.5.57
• Igor Douven, Gabriele Kern-Isberner, Markus Knauff, and Henri Prade Multi-disciplinary Approaches to Reasoning with Imperfect Information and Knowledge - a Synthesis and a Roadmap of Challenges (Dagstuhl Seminar 15221) 10.4230/DagRep.5.5.92
• Andrew J. Ko, Shriram Krishnamurthi, Gail C. Murphy, and Janet Siegmund Human-Centric Development of Software Tools (Dagstuhl Seminar 15222) 10.4230/DagRep.5.5.115