Dagstuhl Reports, Volume 5, Issue 11,

• Dagstuhl Reports, Volume 5, Issue 11, November 2015, Complete Issue 10.4230/DagRep.5.11
• Dagstuhl Reports, Table of Contents, Volume 5, Issue 11, 2015 10.4230/DagRep.5.11.i
• Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, and Viktor Vafeiadis Verification of Evolving Graph Structures (Dagstuhl Seminar 15451) 10.4230/DagRep.5.11.1
• Bruce R. Childers, Grigori Fursin, Shriram Krishnamurthi, and Andreas Zeller Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452) 10.4230/DagRep.5.11.29
• André Bruhn, Atsushi Imiya, Ales Leonardis, and Tomas Pajdla Vision for Autonomous Vehicles and Probes (Dagstuhl Seminar 15461) 10.4230/DagRep.5.11.36
• Wolfram Burgard, Uwe Franke, Markus Enzweiler, and Mohan Trivedi The Mobile Revolution - Machine Intelligence for Autonomous Vehicles (Dagstuhl Seminar 15462) 10.4230/DagRep.5.11.62
• Erika Ábrahám, Pascal Fontaine, Thomas Sturm, and Dongming Wang Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471) 10.4230/DagRep.5.11.71
• William W. Cohen, Charles Sutton, and Martin T. Vechev Programming with "Big Code" (Dagstuhl Seminar 15472) 10.4230/DagRep.5.11.90
• Daniel Archambault, Tobias Hoßfeld, and Helen C. Purchase Crowdsourcing and Human-Centred Experiments (Dagstuhl Seminar 15481) 10.4230/DagRep.5.11.103
• Ada Diaconescu, Stepehn Marsh, Jeremy Pitt, Wolfgang Reif, and Jan-Philipp Steghöfer Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482) 10.4230/DagRep.5.11.127
• Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, and Todd Mytkowicz Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491) 10.4230/DagRep.5.11.151
• Sebastian Böcker, Juho Rousu, and Emma Schymanski Computational Metabolomics (Dagstuhl Seminar 15492) 10.4230/DagRep.5.11.180