HTML Export for Dagstuhl Reports, Volume 7, Issue 8

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 7, Issue 8, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 7, Issue 8, August 2017, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.8">10.4230/DagRep.7.8</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 7, Issue 8, 2017</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.8.i">10.4230/DagRep.7.8.i</a>
</li>
<li>
    <span class="authors">Yifan Hu, Luana Micallef, Martin Nöllenburg, and Peter Rodgers</span>
    <span class="title">Scalable Set Visualizations (Dagstuhl Seminar 17332)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.8.1">10.4230/DagRep.7.8.1</a>
</li>
<li>
    <span class="authors">Ivona Bezáková, Leslie Ann Goldberg, and Mark R. Jerrum</span>
    <span class="title">Computational Counting (Dagstuhl Seminar 17341)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.8.23">10.4230/DagRep.7.8.23</a>
</li>
<li>
    <span class="authors">Benoît Combemale, Ralf Lämmel, and Eric Van Wyk</span>
    <span class="title">SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.8.45">10.4230/DagRep.7.8.45</a>
</li>
<li>
    <span class="authors">Sanjit A. Seshia, Xianjin (Jerry) Zhu, Andreas Krause, and Susmit Jha</span>
    <span class="title">Machine Learning and Formal Methods (Dagstuhl Seminar 17351)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.8.55">10.4230/DagRep.7.8.55</a>
</li>
<li>
    <span class="authors">Eva Darulova, Alastair F. Donaldson, Zvonimir Rakamaric, and Cindy Rubio-González</span>
    <span class="title">Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.8.74">10.4230/DagRep.7.8.74</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