Issue

Dagstuhl Reports, Volume 12, Issue 1

Thumbnail PDF

Event

Dagstuhl Seminars 22021, 22022, 22031, 22042, 22051, 22052

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
DOI: 10.4230/DagRep.12.1
Dagstuhl Reports, Volume 12, Issue 1, January 2022, Complete Issue
Abstract
Dagstuhl Reports, Volume 12, Issue 1, January 2019, Complete Issue
Cite as

Dagstuhl Reports, Volume 12, Issue 1, pp. 1-132, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@Article{DagRep.12.1,
  title =	{{Dagstuhl Reports, Volume 12, Issue 1, January 2022, Complete Issue}},
  pages =	{1--132},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.1},
  URN =		{urn:nbn:de:0030-drops-169173},
  doi =		{10.4230/DagRep.12.1},
  annote =	{Keywords: Dagstuhl Reports, Volume 12, Issue 1, January 2019, Complete Issue}
}
Document
Front Matter
DOI: 10.4230/DagRep.12.1.i
Dagstuhl Reports, Table of Contents, Volume 12, Issue 1, 2022
Abstract
Dagstuhl Reports, Table of Contents, Volume 12, Issue 1, 2022
Cite as

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

Copy BibTex To Clipboard

@Article{DagRep.12.1.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 12, Issue 1, 2022}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.1.i},
  URN =		{urn:nbn:de:0030-drops-169182},
  doi =		{10.4230/DagRep.12.1.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
Document
DOI: 10.4230/DagRep.12.1.1
Mobility Data Science (Dagstuhl Seminar 22021)

Authors: Mohamed Mokbel, Mahmoud Sakr, Li Xiong, Andreas Züfle, Jussara Almeida, Taylor Anderson, Walid Aref, Gennady Andrienko, Natalia Andrienko, Yang Cao, Sanjay Chawla, Reynold Cheng, Panos Chrysanthis, Xiqi Fei, Gabriel Ghinita, Anita Graser, Dimitrios Gunopulos, Christian Jensen, Joon-Sook Kim, Kyoung-Sook Kim, Peer Kröger, John Krumm, Johannes Lauer, Amr Magdy, Mario Nascimento, Siva Ravada, Matthias Renz, Dimitris Sacharidis, Cyrus Shahabi, Flora Salim, Mohamed Sarwat, Maxime Schoemans, Bettina Speckmann, Egemen Tanin, Yannis Theodoridis, Kristian Torp, Goce Trajcevski, Marc van Kreveld, Carola Wenk, Martin Werner, Raymond Wong, Song Wu, Jianqiu Xu, Moustafa Youssef, Demetris Zeinalipour, Mengxuan Zhang, and Esteban Zimányi

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 22021 "Mobility Data Science". This seminar was held January 9-14, 2022, including 47 participants from industry and academia. The goal of this Dagstuhl Seminar was to create a new research community of mobility data science in which the whole is greater than the sum of its parts by bringing together established leaders as well as promising young researchers from all fields related to mobility data science. Specifically, this report summarizes the main results of the seminar by (1) defining Mobility Data Science as a research domain, (2) by sketching its agenda in the coming years, and by (3) building a mobility data science community. (1) Mobility data science is defined as spatiotemporal data that additionally captures the behavior of moving entities (human, vehicle, animal, etc.). To understand, explain, and predict behavior, we note that a strong collaboration with research in behavioral and social sciences is needed. (2) Future research directions for mobility data science described in this report include a) mobility data acquisition and privacy, b) mobility data management and analysis, and c) applications of mobility data science. (3) We identify opportunities towards building a mobility data science community, towards collaborations between academic and industry, and towards a mobility data science curriculum.
Cite as

Mohamed Mokbel, Mahmoud Sakr, Li Xiong, Andreas Züfle, Jussara Almeida, Taylor Anderson, Walid Aref, Gennady Andrienko, Natalia Andrienko, Yang Cao, Sanjay Chawla, Reynold Cheng, Panos Chrysanthis, Xiqi Fei, Gabriel Ghinita, Anita Graser, Dimitrios Gunopulos, Christian Jensen, Joon-Sook Kim, Kyoung-Sook Kim, Peer Kröger, John Krumm, Johannes Lauer, Amr Magdy, Mario Nascimento, Siva Ravada, Matthias Renz, Dimitris Sacharidis, Cyrus Shahabi, Flora Salim, Mohamed Sarwat, Maxime Schoemans, Bettina Speckmann, Egemen Tanin, Yannis Theodoridis, Kristian Torp, Goce Trajcevski, Marc van Kreveld, Carola Wenk, Martin Werner, Raymond Wong, Song Wu, Jianqiu Xu, Moustafa Youssef, Demetris Zeinalipour, Mengxuan Zhang, and Esteban Zimányi. Mobility Data Science (Dagstuhl Seminar 22021). In Dagstuhl Reports, Volume 12, Issue 1, pp. 1-34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@Article{mokbel_et_al:DagRep.12.1.1,
  author =	{Mokbel, Mohamed and Sakr, Mahmoud and Xiong, Li and Z\"{u}fle, Andreas and Almeida, Jussara and Anderson, Taylor and Aref, Walid and Andrienko, Gennady and Andrienko, Natalia and Cao, Yang and Chawla, Sanjay and Cheng, Reynold and Chrysanthis, Panos and Fei, Xiqi and Ghinita, Gabriel and Graser, Anita and Gunopulos, Dimitrios and Jensen, Christian and Kim, Joon-Sook and Kim, Kyoung-Sook and Kr\"{o}ger, Peer and Krumm, John and Lauer, Johannes and Magdy, Amr and Nascimento, Mario and Ravada, Siva and Renz, Matthias and Sacharidis, Dimitris and Shahabi, Cyrus and Salim, Flora and Sarwat, Mohamed and Schoemans, Maxime and Speckmann, Bettina and Tanin, Egemen and Theodoridis, Yannis and Torp, Kristian and Trajcevski, Goce and van Kreveld, Marc and Wenk, Carola and Werner, Martin and Wong, Raymond and Wu, Song and Xu, Jianqiu and Youssef, Moustafa and Zeinalipour, Demetris and Zhang, Mengxuan and Zim\'{a}nyi, Esteban},
  title =	{{Mobility Data Science (Dagstuhl Seminar 22021)}},
  pages =	{1--34},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{1},
  editor =	{Mokbel, Mohamed and Sakr, Mahmoud and Xiong, Li and Z\"{u}fle, Andreas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.1.1},
  URN =		{urn:nbn:de:0030-drops-169190},
  doi =		{10.4230/DagRep.12.1.1},
  annote =	{Keywords: Spatio-temporal, Tracking, Privacy, Behavior, Data cleaning, Data management, Analytics}
}
Document
DOI: 10.4230/DagRep.12.1.35
Mobility Data Mining: from Technical to Ethical (Dagstuhl Seminar 22022)

Authors: Bettina Berendt, Stan Matwin, Chiara Renso, Fran Meissner, Francesca Pratesi, Alessandra Raffaetà, and Geoffrey Rockwell

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 22022 "Mobility Data Analysis: from Technical to Ethical" that took place fully remote and hosted by Schloss Dagstuhl from 10-12 January 2022. An interdisciplinary team of 23 researchers from Europe, the Americas and Asia in the fields of computer science, ethics and mobility analysis discussed interactions between their topics and fields to bridge the gap between the more technical aspects to the ethics with the objective of laying the foundations of a new Mobility Data Ethics research field.
Cite as

Bettina Berendt, Stan Matwin, Chiara Renso, Fran Meissner, Francesca Pratesi, Alessandra Raffaetà, and Geoffrey Rockwell. Mobility Data Mining: from Technical to Ethical (Dagstuhl Seminar 22022). In Dagstuhl Reports, Volume 12, Issue 1, pp. 35-66, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@Article{berendt_et_al:DagRep.12.1.35,
  author =	{Berendt, Bettina and Matwin, Stan and Renso, Chiara and Meissner, Fran and Pratesi, Francesca and Raffaet\`{a}, Alessandra and Rockwell, Geoffrey},
  title =	{{Mobility Data Mining: from Technical to Ethical (Dagstuhl Seminar 22022)}},
  pages =	{35--66},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{1},
  editor =	{Berendt, Bettina and Matwin, Stan and Renso, Chiara},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.1.35},
  URN =		{urn:nbn:de:0030-drops-169200},
  doi =		{10.4230/DagRep.12.1.35},
  annote =	{Keywords: Dagstuhl Report, Mobility Data Mining: from Technical to Ethical}
}
Document
DOI: 10.4230/DagRep.12.1.67
Bringing Graph Databases and Network Visualization Together (Dagstuhl Seminar 22031)

Authors: Karsten Klein, Juan F. Sequeda, Hsiang-Yun Wu, and Da Yan

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 22031 "Bringing Graph Databases and Network Visualization Together". Due to the ongoing restrictions caused by the COVID-19 pandemic, this purely on-site seminar had a reduced number of participants. Twenty-two researchers and practitioners from the Network Visualization and Graph Database communities met to initiate collaborative work and exchange between the two communities. The seminar served to establish a common understanding of the state of the art and the terminology in both communities, and to connect participants to tackle joint research challenges. Survey talks on the first days laid the foundations for subsequent plenary discussions and working groups. Further lightining talks during the next days gave more detailed insight into specific research questions and practical challenges. The contributions of the seminar include bringing the communities together, the identification of the top areas of research interest, and the characterization of research challenges and research questions. As an outcome, a position paper is planned, and further collaborations and joint publications are on the way.
Cite as

Karsten Klein, Juan F. Sequeda, Hsiang-Yun Wu, and Da Yan. Bringing Graph Databases and Network Visualization Together (Dagstuhl Seminar 22031). In Dagstuhl Reports, Volume 12, Issue 1, pp. 67-82, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@Article{klein_et_al:DagRep.12.1.67,
  author =	{Klein, Karsten and Sequeda, Juan F. and Wu, Hsiang-Yun and Yan, Da},
  title =	{{Bringing Graph Databases and Network Visualization Together (Dagstuhl Seminar 22031)}},
  pages =	{67--82},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{1},
  editor =	{Klein, Karsten and Sequeda, Juan F. and Wu, Hsiang-Yun and Yan, Da},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.1.67},
  URN =		{urn:nbn:de:0030-drops-169218},
  doi =		{10.4230/DagRep.12.1.67},
  annote =	{Keywords: graph databases, network visualization, visual analytics}
}
Document
DOI: 10.4230/DagRep.12.1.83
Privacy Protection of Automated and Self-Driving Vehicles (Dagstuhl Seminar 22042)

Authors: Frank Kargl, Ioannis Krontiris, André Weimerskirch, Ian Williams, and Nataša Trkulja

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 22042 "Privacy Protection of Automated and Self-Driving Vehicles". The Seminar reviewed existing privacy-enhancing technologies, standards, tools, and frameworks for protecting personal information in the context of automated and self-driving vehicles (AVs). We specifically focused on where such existing techniques clash with requirements of an AV and its data processing and identified the major road blockers on the way to deployment of privacy protection in AVs from a legal, technical, business and ethical perspective. Therefore, the seminar took an interdisciplinary approach involving autonomous and connected driving, privacy protection, and legal data protection experts. This report summarizes the discussions and findings during the seminar, includes the abstracts of talks, and includes a report from the working groups.
Cite as

Frank Kargl, Ioannis Krontiris, André Weimerskirch, Ian Williams, and Nataša Trkulja. Privacy Protection of Automated and Self-Driving Vehicles (Dagstuhl Seminar 22042). In Dagstuhl Reports, Volume 12, Issue 1, pp. 83-100, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@Article{kargl_et_al:DagRep.12.1.83,
  author =	{Kargl, Frank and Krontiris, Ioannis and Weimerskirch, Andr\'{e} and Williams, Ian and Trkulja, Nata\v{s}a},
  title =	{{Privacy Protection of Automated and Self-Driving Vehicles (Dagstuhl Seminar 22042)}},
  pages =	{83--100},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{1},
  editor =	{Kargl, Frank and Krontiris, Ioannis and Weimerskirch, Andr\'{e} and Williams, Ian and Trkulja, Nata\v{s}a},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.1.83},
  URN =		{urn:nbn:de:0030-drops-169220},
  doi =		{10.4230/DagRep.12.1.83},
  annote =	{Keywords: automotive security and privacy, privacy and data protection}
}
Document
DOI: 10.4230/DagRep.12.1.101
Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051)

Authors: Albert Atserias, Christoph Berkholz, Kousha Etessami, and Joanna Ochremiak

Abstract
Finite and algorithmic model theory (FAMT) studies the expressive power of logical languages on finite structures or, more generally, structures that can be finitely presented. These are the structures that serve as input to computation, and for this reason the study of FAMT is intimately connected with computer science. Over the last four decades, the subject has developed through a close interaction between theoretical computer science and related areas of mathematics, including logic and combinatorics. This report documents the program and the outcomes of Dagstuhl Seminar 22051 "Finite and Algorithmic Model Theory".
Cite as

Albert Atserias, Christoph Berkholz, Kousha Etessami, and Joanna Ochremiak. Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051). In Dagstuhl Reports, Volume 12, Issue 1, pp. 101-118, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@Article{atserias_et_al:DagRep.12.1.101,
  author =	{Atserias, Albert and Berkholz, Christoph and Etessami, Kousha and Ochremiak, Joanna},
  title =	{{Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051)}},
  pages =	{101--118},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{1},
  editor =	{Atserias, Albert and Berkholz, Christoph and Etessami, Kousha and Ochremiak, Joanna},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.1.101},
  URN =		{urn:nbn:de:0030-drops-169232},
  doi =		{10.4230/DagRep.12.1.101},
  annote =	{Keywords: automata and game theory, database theory, descriptive complexity, finite model theory, homomorphism counts, Query enumeration}
}
Document
DOI: 10.4230/DagRep.12.1.119
The Human Factors Impact of Programming Error Messages (Dagstuhl Seminar 22052)

Authors: Brett A. Becker, Paul Denny, Janet Siegmund, Andreas Stefik, and Eddie Antonio Santos

Abstract
The impacts of many human factors on how people program are poorly understood and present significant challenges for work on improving programmer productivity and effective techniques for teaching and learning programming. Programming error messages are one factor that is particularly problematic, with a documented history of evidence dating back over 50 years. Such messages, commonly called compiler error messages, present difficulties for programmers with diverse demographic backgrounds. It is generally agreed that these messages could be more effective for all users, making this an obvious and high-impact area to target for improving programming outcomes. This report documents the program and the outputs of Dagstuhl Seminar 22052, "The Human Factors Impact of Programming Error Messages", which explores this problem. In total, 11 on-site participants and 17 remote participants engaged in intensive collaboration during the seminar, including discussing past and current research, identifying gaps, and developing ways to move forward collaboratively to address these challenges.
Cite as

Brett A. Becker, Paul Denny, Janet Siegmund, Andreas Stefik, and Eddie Antonio Santos. The Human Factors Impact of Programming Error Messages (Dagstuhl Seminar 22052). In Dagstuhl Reports, Volume 12, Issue 1, pp. 119-130, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@Article{becker_et_al:DagRep.12.1.119,
  author =	{Becker, Brett A. and Denny, Paul and Siegmund, Janet and Stefik, Andreas and Santos, Eddie Antonio},
  title =	{{The Human Factors Impact of Programming Error Messages (Dagstuhl Seminar 22052)}},
  pages =	{119--130},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{1},
  editor =	{Becker, Brett A. and Denny, Paul and Siegmund, Janet and Stefik, Andreas and Santos, Eddie Antonio},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.1.119},
  URN =		{urn:nbn:de:0030-drops-169246},
  doi =		{10.4230/DagRep.12.1.119},
  annote =	{Keywords: Accessibility; Compilers; Compiler Error Messages; Computer Science Education; Computer-Human Interaction; Computing Education; CS1; Error Messages; HCI; Human Factors; Human Computer Interaction; Novice Programmers; Programming Errors; Programming Error Messages; Programming Languages; Software Engineering; Syntax Errors}
}

Filters

  • Authors
  • A
  • Almeida, Jussara
  • Anderson, Taylor
  • Andrienko, Gennady
  • Andrienko, Natalia
  • Aref, Walid
  • Atserias, Albert
  • B
  • Becker, Brett A.
  • Berendt, Bettina
  • Berkholz, Christoph
  • C
  • Cao, Yang
  • Chawla, Sanjay
  • Cheng, Reynold
  • Chrysanthis, Panos
  • D
  • Denny, Paul
  • E
  • Etessami, Kousha
  • F
  • Fei, Xiqi
  • G
  • Ghinita, Gabriel
  • Graser, Anita
  • Gunopulos, Dimitrios
  • J
  • Jensen, Christian
  • K
  • Kargl, Frank
  • Kim, Joon-Sook
  • Kim, Kyoung-Sook
  • Klein, Karsten
  • Kröger, Peer
  • Krontiris, Ioannis
  • Krumm, John
  • L
  • Lauer, Johannes
  • M
  • Magdy, Amr
  • Matwin, Stan
  • Meissner, Fran
  • Mokbel, Mohamed
  • N
  • Nascimento, Mario
  • O
  • Ochremiak, Joanna
  • P
  • Pratesi, Francesca
  • R
  • Raffaetà, Alessandra
  • Ravada, Siva
  • Renso, Chiara
  • Renz, Matthias
  • Rockwell, Geoffrey
  • S
  • Sacharidis, Dimitris
  • Sakr, Mahmoud
  • Salim, Flora
  • Santos, Eddie Antonio
  • Sarwat, Mohamed
  • Schoemans, Maxime
  • Sequeda, Juan F.
  • Shahabi, Cyrus
  • Siegmund, Janet
  • Speckmann, Bettina
  • Stefik, Andreas
  • T
  • Tanin, Egemen
  • Theodoridis, Yannis
  • Torp, Kristian
  • Trajcevski, Goce
  • Trkulja, Nataša
  • V
  • van Kreveld, Marc
  • W
  • Weimerskirch, André
  • Wenk, Carola
  • Werner, Martin
  • Williams, Ian
  • Wong, Raymond
  • Wu, Hsiang-Yun
  • Wu, Song
  • X
  • Xiong, Li
  • Xu, Jianqiu
  • Y
  • Yan, Da
  • Youssef, Moustafa
  • Z
  • Zeinalipour, Demetris
  • Zhang, Mengxuan
  • Zimányi, Esteban
  • Züfle, Andreas

  • Subjects
  • Applied computing
  • Applied computing → Education
  • Computing methodologies
  • Computing methodologies → Artificial intelligence
  • Computing methodologies → Machine learning
  • General and reference
  • General and reference → Surveys and overviews
  • Human-centered computing
  • Human-centered computing
  • Human-centered computing → Human computer interaction (HCI)
  • Human-centered computing → Interaction design
  • Human-centered computing → Visualization
  • Information systems
  • Information systems → Data management systems
  • Information systems → Information systems applications
  • Security and privacy
  • Security and privacy → Database and storage security
  • Security and privacy → Human and societal aspects of security and privacy
  • Security and privacy → Privacy protections
  • Security and privacy → Privacy-preserving protocols
  • Security and privacy → Software and application security
  • Social and professional topics
  • Social and professional topics → Computing / technology policy
  • Social and professional topics → Computing education
  • Software and its engineering
  • Software and its engineering → General programming languages
  • Theory of computation
  • Theory of computation → Finite Model Theory
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
© 2023-2024 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact