<h2>Dagstuhl Reports, Volume 5, Issue 11, </h2>
<ul>
<li>
<span class="title">Dagstuhl Reports, Volume 5, Issue 11, November 2015, Complete Issue</span>
<a class="doi" href="https://doi.org/10.4230/DagRep.5.11">10.4230/DagRep.5.11</a>
</li>
<li>
<span class="title">Dagstuhl Reports, Table of Contents, Volume 5, Issue 11, 2015</span>
<a class="doi" href="https://doi.org/10.4230/DagRep.5.11.i">10.4230/DagRep.5.11.i</a>
</li>
<li>
<span class="authors">Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, and Viktor Vafeiadis</span>
<span class="title">Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)</span>
<a class="doi" href="https://doi.org/10.4230/DagRep.5.11.1">10.4230/DagRep.5.11.1</a>
</li>
<li>
<span class="authors">Bruce R. Childers, Grigori Fursin, Shriram Krishnamurthi, and Andreas Zeller</span>
<span class="title">Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452)</span>
<a class="doi" href="https://doi.org/10.4230/DagRep.5.11.29">10.4230/DagRep.5.11.29</a>
</li>
<li>
<span class="authors">André Bruhn, Atsushi Imiya, Ales Leonardis, and Tomas Pajdla</span>
<span class="title">Vision for Autonomous Vehicles and Probes (Dagstuhl Seminar 15461)</span>
<a class="doi" href="https://doi.org/10.4230/DagRep.5.11.36">10.4230/DagRep.5.11.36</a>
</li>
<li>
<span class="authors">Wolfram Burgard, Uwe Franke, Markus Enzweiler, and Mohan Trivedi</span>
<span class="title">The Mobile Revolution - Machine Intelligence for Autonomous Vehicles (Dagstuhl Seminar 15462)</span>
<a class="doi" href="https://doi.org/10.4230/DagRep.5.11.62">10.4230/DagRep.5.11.62</a>
</li>
<li>
<span class="authors">Erika Ábrahám, Pascal Fontaine, Thomas Sturm, and Dongming Wang</span>
<span class="title">Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471)</span>
<a class="doi" href="https://doi.org/10.4230/DagRep.5.11.71">10.4230/DagRep.5.11.71</a>
</li>
<li>
<span class="authors">William W. Cohen, Charles Sutton, and Martin T. Vechev</span>
<span class="title">Programming with "Big Code" (Dagstuhl Seminar 15472)</span>
<a class="doi" href="https://doi.org/10.4230/DagRep.5.11.90">10.4230/DagRep.5.11.90</a>
</li>
<li>
<span class="authors">Daniel Archambault, Tobias Hoßfeld, and Helen C. Purchase</span>
<span class="title">Crowdsourcing and Human-Centred Experiments (Dagstuhl Seminar 15481)</span>
<a class="doi" href="https://doi.org/10.4230/DagRep.5.11.103">10.4230/DagRep.5.11.103</a>
</li>
<li>
<span class="authors">Ada Diaconescu, Stepehn Marsh, Jeremy Pitt, Wolfgang Reif, and Jan-Philipp Steghöfer</span>
<span class="title">Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482)</span>
<a class="doi" href="https://doi.org/10.4230/DagRep.5.11.127">10.4230/DagRep.5.11.127</a>
</li>
<li>
<span class="authors">Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, and Todd Mytkowicz</span>
<span class="title">Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491)</span>
<a class="doi" href="https://doi.org/10.4230/DagRep.5.11.151">10.4230/DagRep.5.11.151</a>
</li>
<li>
<span class="authors">Sebastian Böcker, Juho Rousu, and Emma Schymanski</span>
<span class="title">Computational Metabolomics (Dagstuhl Seminar 15492)</span>
<a class="doi" href="https://doi.org/10.4230/DagRep.5.11.180">10.4230/DagRep.5.11.180</a>
</li>
</ul>
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing