Dagstuhl Reports, Volume 8, Issue 8



Thumbnail PDF

Event

Dagstuhl Seminars 18321, 18322, 18331, 18332, 18341, 18351

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 8, Issue 8, August 2018, Complete Issue

Abstract
Dagstuhl Reports, Volume 8, Issue 8, August 2018, Complete Issue

Cite as

Dagstuhl Reports, Volume 8, Issue 8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{DagRep.8.8,
  title =	{{Dagstuhl Reports, Volume 8, Issue 8, August 2018, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{8},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8},
  URN =		{urn:nbn:de:0030-drops-103002},
  doi =		{10.4230/DagRep.8.8},
  annote =	{Keywords: Dagstuhl Reports, Volume 8, Issue 8, August 2018, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 8, Issue 8, 2018

Abstract
Dagstuhl Reports, Table of Contents, Volume 8, Issue 8, 2018

Cite as

Dagstuhl Reports, Volume 8, Issue 8, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{DagRep.8.8.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 8, Issue 8, 2018}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{8},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.i},
  URN =		{urn:nbn:de:0030-drops-102992},
  doi =		{10.4230/DagRep.8.8.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
Document
Web Application Security (Dagstuhl Seminar 18321)

Authors: Martin Johns, Nick Nikiforakis, Melanie Volkamer, and John Wilander


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 18321 "Web Application Security". In this third seminar on the topic, a healthy mix of academics, practitioners and representatives of all major browser vendors reflected on the last decade of web security research and discussed the upcoming security challenges for the Web platform. In addition, for the first time, the list of attendees included several members of the human factors in security community, to enable broadening the web security topic towards this important facet of application security.

Cite as

Martin Johns, Nick Nikiforakis, Melanie Volkamer, and John Wilander. Web Application Security (Dagstuhl Seminar 18321). In Dagstuhl Reports, Volume 8, Issue 8, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{johns_et_al:DagRep.8.8.1,
  author =	{Johns, Martin and Nikiforakis, Nick and Volkamer, Melanie and Wilander, John},
  title =	{{Web Application Security (Dagstuhl Seminar 18321)}},
  pages =	{1--17},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{8},
  editor =	{Johns, Martin and Nikiforakis, Nick and Volkamer, Melanie and Wilander, John},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.1},
  URN =		{urn:nbn:de:0030-drops-102336},
  doi =		{10.4230/DagRep.8.8.1},
  annote =	{Keywords: Web Application Security, Browser Security, Software Security, Human Aspects in Security}
}
Document
Human-Computer Integration (Dagstuhl Seminar 18322)

Authors: Florian Mueller, Pattie Maes, and Jonathan Grudin


Abstract
The rise of technology that supports a partnership between user and computer highlights an opportunity for a new era of "human-computer integration", contrasting the previously dominant paradigm of computers functioning as tools. However, most work around these technologies only focused on the instrumental perspective to achieve extrinsic performance objectives. However, phenomenology emphasizes that it is also important to support the experiential perspective, which indicates that technology should also help people pay attention to their lived experiences and personal growth in order to deepen their understanding of their own bodies. This seminar focuses on embodied integration, where a computer tightly integrates with the person's body. Although an increasing number of systems are emerging, a thorough understanding of how to design such systems is notably absent. The reason for this is the limited knowledge about how such embodied partnerships unfold, and what underlying theory could guide such developments. This seminar brought together leading experts from industry and academia, including those who are central to the development of products and ideas such as wearables, on-body robotics, and exertion systems. The goal was to address key questions around the design of embodied integration and to jump-start collaborations to pioneer new approaches for a human-computer integrated future.

Cite as

Florian Mueller, Pattie Maes, and Jonathan Grudin. Human-Computer Integration (Dagstuhl Seminar 18322). In Dagstuhl Reports, Volume 8, Issue 8, pp. 18-47, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{mueller_et_al:DagRep.8.8.18,
  author =	{Mueller, Florian and Maes, Pattie and Grudin, Jonathan},
  title =	{{Human-Computer Integration (Dagstuhl Seminar 18322)}},
  pages =	{18--47},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{8},
  editor =	{Mueller, Florian and Maes, Pattie and Grudin, Jonathan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.18},
  URN =		{urn:nbn:de:0030-drops-102346},
  doi =		{10.4230/DagRep.8.8.18},
  annote =	{Keywords: Human-computer integration, whole-body interaction, ubiquitous computing, wearables}
}
Document
Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 18331)

Authors: Spring Berman, Sándor P. Fekete, Matthew J. Patitz, and Christian Scheideler


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 18331,"Algorithmic Foundations of Programmable Matter", a new and emerging field that combines theoretical work on algorithms with a wide spectrum of practical applications that reach all the way from small-scale embedded systems to cyber-physical structures at nano-scale. The aim of this seminar was to bring together researchers from computational geometry, distributed computing, DNA computing, and swarm robotics who have worked on programmable matter to inform one another about the newest developments in each area and to discuss future models, approaches, and directions for new research. Similar to the first Dagstuhl seminar on programmable matter (16271), we did focus on some basic problems, but also considered new problems that were now within reach to be studied. During this seminar, we were able to achieve a previously unmatched level of intensity of collaboration, in part due to using a new electronic and interactive web-based platform. This has also allowed for continued research among the attendees based on the work begun during the seminar.

Cite as

Spring Berman, Sándor P. Fekete, Matthew J. Patitz, and Christian Scheideler. Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 18331). In Dagstuhl Reports, Volume 8, Issue 8, pp. 48-66, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{berman_et_al:DagRep.8.8.48,
  author =	{Berman, Spring and Fekete, S\'{a}ndor P. and Patitz, Matthew J. and Scheideler, Christian},
  title =	{{ Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 18331)}},
  pages =	{48--66},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{8},
  editor =	{Berman, Spring and Fekete, S\'{a}ndor P. and Patitz, Matthew J. and Scheideler, Christian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.48},
  URN =		{urn:nbn:de:0030-drops-102352},
  doi =		{10.4230/DagRep.8.8.48},
  annote =	{Keywords: computational geometry, distributed algorithms, DNA computing, programmable matter, swarm robotics}
}
Document
Blockchain Technology for Collaborative Information Systems (Dagstuhl Seminar 18332)

Authors: Marlon Dumas, Richard Hull, Jan Mendling, and Ingo Weber


Abstract
Blockchain technology enables an evolving set of parties to maintain a safe, permanent, and tamper-proof ledger of transactions without a central authority. This technology opens manifold opportunities to redesign business-to-business collaborations, while bringing about numerous challenges. These opportunities and challenges were discussed in the Dagstuhl Seminar 18332 "Blockchain Technology for Collaborative Information Systems". This report documents the program and the outcomes of the seminar.

Cite as

Marlon Dumas, Richard Hull, Jan Mendling, and Ingo Weber. Blockchain Technology for Collaborative Information Systems (Dagstuhl Seminar 18332). In Dagstuhl Reports, Volume 8, Issue 8, pp. 67-129, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{dumas_et_al:DagRep.8.8.67,
  author =	{Dumas, Marlon and Hull, Richard and Mendling, Jan and Weber, Ingo},
  title =	{{Blockchain Technology for Collaborative Information Systems (Dagstuhl Seminar 18332)}},
  pages =	{67--129},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{8},
  editor =	{Dumas, Marlon and Hull, Richard and Mendling, Jan and Weber, Ingo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.67},
  URN =		{urn:nbn:de:0030-drops-102361},
  doi =		{10.4230/DagRep.8.8.67},
  annote =	{Keywords: Blockchain, BPM, Business Collaboration, Commerce, Logistics, Business Models (economic), Smart Contracts, Privacy}
}
Document
Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341)

Authors: Andrej Bauer, Martín Escardó, Peter L. Lumsdaine, and Assia Mahboubi


Abstract
Formalized mathematics is mathematical knowledge (definitions, theorems, and proofs) represented in digital form suitable for computer processing. The central goal of this seminar was to identify the theoretical advances and practical improvements needed in the area of formalized mathematics, in order to make it a mature technology, truly useful to a larger community of students and researchers in mathematics. During the seminar, various software systems for formalization were compared, and potential improvements to existing systems were investigated. There have also been discussions on the representation of algebraic structures in formalization systems.

Cite as

Andrej Bauer, Martín Escardó, Peter L. Lumsdaine, and Assia Mahboubi. Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341). In Dagstuhl Reports, Volume 8, Issue 8, pp. 130-145, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{bauer_et_al:DagRep.8.8.130,
  author =	{Bauer, Andrej and Escard\'{o}, Mart{\'\i}n and Lumsdaine, Peter L. and Mahboubi, Assia},
  title =	{{Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341)}},
  pages =	{130--145},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{8},
  editor =	{Bauer, Andrej and Escard\'{o}, Mart{\'\i}n and Lumsdaine, Peter L. and Mahboubi, Assia},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.130},
  URN =		{urn:nbn:de:0030-drops-102370},
  doi =		{10.4230/DagRep.8.8.130},
  annote =	{Keywords: formal methods, formalized mathematics, proof assistant, type theory}
}
Document
Modeling for Sustainability (Dagstuhl Seminar 18351)

Authors: Gordon Blair, Betty H. C. Cheng, Lorenz Hilty, and Richard F. Paige


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 18351 "Modeling for Sustainability".

Cite as

Gordon Blair, Betty H. C. Cheng, Lorenz Hilty, and Richard F. Paige. Modeling for Sustainability (Dagstuhl Seminar 18351). In Dagstuhl Reports, Volume 8, Issue 8, pp. 146-168, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{blair_et_al:DagRep.8.8.146,
  author =	{Blair, Gordon and Cheng, Betty H. C. and Hilty, Lorenz and Paige, Richard F.},
  title =	{{Modeling for Sustainability (Dagstuhl Seminar 18351)}},
  pages =	{146--168},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{8},
  editor =	{Blair, Gordon and Cheng, Betty H. C. and Hilty, Lorenz and Paige, Richard F.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.8.146},
  URN =		{urn:nbn:de:0030-drops-102383},
  doi =		{10.4230/DagRep.8.8.146},
  annote =	{Keywords: modeling for sustainability, sustainability dimensions, environmental sustainability, social sustanability, economic sustainability model driven engineering}
}

Filters


Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail