Issue
Dagstuhl Reports, Volume 13, Issue 10
-
Part of:
Volume:
Dagstuhl Reports, Volume 13
Journal: Dagstuhl Reports (DagRep)
Event
Dagstuhl Seminars 23401, 23411, 23412, 23421, 23422, 23431, 23432, 23441, 23442Publication Details
- published at: 2024-04-08
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
Documents
No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 13, Issue 10, October 2023, Complete Issue
Abstract
Dagstuhl Reports, Volume 13, Issue 10, October 2023, Complete Issue
Cite as
Dagstuhl Reports, Volume 13, Issue 10, pp. 1-213, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{DagRep.13.10,
title = {{Dagstuhl Reports, Volume 13, Issue 10, October 2023, Complete Issue}},
pages = {1--213},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10},
URN = {urn:nbn:de:0030-drops-198292},
doi = {10.4230/DagRep.13.10},
annote = {Keywords: Dagstuhl Reports, Volume 13, Issue 10, October 2023, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 13, Issue 10, 2023
Abstract
Dagstuhl Reports, Table of Contents, Volume 13, Issue 10, 2023
Cite as
Dagstuhl Reports, Volume 13, Issue 10, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{DagRep.13.10.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 13, Issue 10, 2023}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.i},
URN = {urn:nbn:de:0030-drops-198302},
doi = {10.4230/DagRep.13.10.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
Document
Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23401 "Automated mathematics: integrating proofs, algorithms and data". The seminar brought together system developers, library authors, and users from key branches of computer-supported mathematics: formalized mathematics, symbolic computation, and mathematical databases. We addressed issues that were common to all areas of computer-supported mathematics: library management, dependencies and interoperability between software components, quality and correctness assurances, searching for information, and usability by end users. Early on in the week, we formed working groups that worked on specific tasks, as described in this report. Each day was divided into a morning talk session and an afternoon period devoted to working in groups. To keep everyone well-informed, we gathered each day before dinner for an informal "show & tell" session.
Cite as
Andrej Bauer, Katja Berčič, Florian Rabe, Nicolas Thiéry, and Jure Taslak. Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401). In Dagstuhl Reports, Volume 13, Issue 10, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{bauer_et_al:DagRep.13.10.1,
author = {Bauer, Andrej and Ber\v{c}i\v{c}, Katja and Rabe, Florian and Thi\'{e}ry, Nicolas and Taslak, Jure},
title = {{Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401)}},
pages = {1--23},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {Bauer, Andrej and Ber\v{c}i\v{c}, Katja and Rabe, Florian and Thi\'{e}ry, Nicolas and Taslak, Jure},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.1},
URN = {urn:nbn:de:0030-drops-198319},
doi = {10.4230/DagRep.13.10.1},
annote = {Keywords: mathematical knowledge management, mathematical software, formalized mathematics, computer algebra, databases of mathematical structures}
}
Document
Accountable Software Systems (Dagstuhl Seminar 23411)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23411 "Accountable Software Systems". The seminar brought together an interdisciplinary group of researchers from the fields of formal methods, machine learning, philosophy, political science, law, and policy studies to address the critical issue of accountability in the development and deployment of software systems. As these systems increasingly assume roles within safety-critical domains of society, including transportation, healthcare, recruitment, and the judiciary, the seminar aimed to explore the multifaceted concept of accountability, its significance, and its implementation challenges in this context.
During the seminar, experts engaged deeply in discussions, presentations, and collaborative sessions, focusing on key themes such as the application of formal tools in socio-technical accountability, the impact of computing infrastructures on software accountability, and the innovation of formal languages and models to improve accountability measures. This interdisciplinary dialogue underscored the complexities involved in defining and operationalizing accountability, especially in light of technological advancements and their societal implications. The participants of the seminar reached a consensus on the pressing need for ongoing research and cross-disciplinary efforts to develop effective accountability mechanisms, highlighting the critical role of integrating socio-technical approaches and formal methodologies to enhance the accountability of autonomous systems and their contributions to society.
Cite as
Bettina Könighofer, Joshua A. Kroll, Ruzica Piskac, Michael Veale, and Filip Cano Córdoba. Accountable Software Systems (Dagstuhl Seminar 23411). In Dagstuhl Reports, Volume 13, Issue 10, pp. 24-49, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{konighofer_et_al:DagRep.13.10.24,
author = {K\"{o}nighofer, Bettina and Kroll, Joshua A. and Piskac, Ruzica and Veale, Michael and C\'{o}rdoba, Filip Cano},
title = {{Accountable Software Systems (Dagstuhl Seminar 23411)}},
pages = {24--49},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {K\"{o}nighofer, Bettina and Kroll, Joshua A. and Piskac, Ruzica and Veale, Michael and C\'{o}rdoba, Filip Cano},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.24},
URN = {urn:nbn:de:0030-drops-198328},
doi = {10.4230/DagRep.13.10.24},
annote = {Keywords: accountability, Responsible Decision Making, Societal Impact of AI}
}
Document
Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412)
Abstract
Recently developed non-volatile memory (NVM) devices provide persistency guarantees along with byte-addressable accesses and performance characteristics that are much closer to volatile random-access memory (RAM). However, writing programs that correctly use these devices is challenging, and bugs related to their use can cause permanent data loss in applications.
This Dagstuhl Seminar brought together experts in a range of areas related to concurrency and persistent memory to explore and develop formal methods for ensuring the correctness of applications that use persistent memory. Talks and discussions at the seminar highlighted challenges related to correctness criteria for concurrent objects using persistent memory, liveness properties of persistent objects, and how changes in NVM and related technologies should shape the development of formal methods for NVM.
Cite as
Ori Lahav, Azalea Raad, Joseph Tassarotti, Viktor Vafeiadis, and Anton Podkopaev. Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412). In Dagstuhl Reports, Volume 13, Issue 10, pp. 50-64, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{lahav_et_al:DagRep.13.10.50,
author = {Lahav, Ori and Raad, Azalea and Tassarotti, Joseph and Vafeiadis, Viktor and Podkopaev, Anton},
title = {{Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412)}},
pages = {50--64},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {Lahav, Ori and Raad, Azalea and Tassarotti, Joseph and Vafeiadis, Viktor and Podkopaev, Anton},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.50},
URN = {urn:nbn:de:0030-drops-198337},
doi = {10.4230/DagRep.13.10.50},
annote = {Keywords: concurrency, formal methods, non-volatile-memory, persistency, verification}
}
Document
Quantum Cryptanalysis (Dagstuhl Seminar 23421)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23421 "Quantum Cryptanalysis". The seminar took place as an in-person event in October 2023 and was the seventh installment of the Dagstuhl Seminar series on Quantum Cryptanalysis. This report describes the motivation and technical scope of the seminar as well as the (updated) organizational structure of this week-long event. We also include abstracts of the seminar presentations given by participants and a description of the activities of the working groups.
Cite as
Gorjan Alagic, Maria Naya-Plasencia, Rainer Steinwandt, and Manasi Shingane. Quantum Cryptanalysis (Dagstuhl Seminar 23421). In Dagstuhl Reports, Volume 13, Issue 10, pp. 65-75, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{alagic_et_al:DagRep.13.10.65,
author = {Alagic, Gorjan and Naya-Plasencia, Maria and Steinwandt, Rainer and Shingane, Manasi},
title = {{Quantum Cryptanalysis (Dagstuhl Seminar 23421)}},
pages = {65--75},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {Alagic, Gorjan and Naya-Plasencia, Maria and Steinwandt, Rainer and Shingane, Manasi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.65},
URN = {urn:nbn:de:0030-drops-198345},
doi = {10.4230/DagRep.13.10.65},
annote = {Keywords: computational algebra, cryptanalysis, post-quantum cryptography, quantum algorithms, quantum resource estimation}
}
Document
Graph Algorithms: Cuts, Flows, and Network Design (Dagstuhl Seminar 23422)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23422 "Graph Algorithms: Cuts, Flows, and Network Design". This seminar brought 25 leading researchers in graph algorithms together for a discussion of the recent progress and challenges in two areas: the design of fast algorithm for fundamental flow/cut problems and the design of approximation algorithms for basic network design problems. The seminar included several talks of varying lengths, a panel discussion, and an open problem session. In addition, sufficient time was set aside for research discussions and collaborations.
Cite as
Jason Li, Debmalya Panigrahi, Laura Sanita, and Thatchaphol Saranurak. Graph Algorithms: Cuts, Flows, and Network Design (Dagstuhl Seminar 23422). In Dagstuhl Reports, Volume 13, Issue 10, pp. 76-89, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{li_et_al:DagRep.13.10.76,
author = {Li, Jason and Panigrahi, Debmalya and Sanita, Laura and Saranurak, Thatchaphol},
title = {{Graph Algorithms: Cuts, Flows, and Network Design (Dagstuhl Seminar 23422)}},
pages = {76--89},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {Li, Jason and Panigrahi, Debmalya and Sanita, Laura and Saranurak, Thatchaphol},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.76},
URN = {urn:nbn:de:0030-drops-198357},
doi = {10.4230/DagRep.13.10.76},
annote = {Keywords: approximation, graph algorithm, maximum flow, minimum cut, network design}
}
Document
Network Attack Detection and Defense - AI-Powered Threats and Responses (Dagstuhl Seminar 23431)
Abstract
This report documents the program and the findings of Dagstuhl Seminar 23431 "Network Attack Detection and Defense - AI-Powered Threats and Responses". With the emergence of artificial intelligence (AI), attack detection and defense are taking on a new level of quality. Artificial intelligence will promote further automation of attacks. There are already examples of this, such as the Deep Locker malware. It is expected that we will soon face a situation in which malware and attacks will become more and more automated, intelligent, and AI-powered. Consequently, today’s threat response systems will become more and more inadequate, especially when they rely on manual intervention of security experts and analysts. The main objective of the seminar was to assess the state of the art and potentials that AI advances create for both attackers and defenders. The seminar continued the series of Dagstuhl events "Network Attack Detection and Defense" held in 2008, 2012, 2014, and 2016. The objectives of the seminar were threefold, namely (1) to investigate various scenarios of AI-based malware and attacks, (2) to debate trust in AI and modeling of threats against AI, and (3) to propose methods and strategies for AI-powered network defenses. At the seminar, which brought together participants from academia and industry, we stated that recent advances in artificial intelligence have opened up new possibilities for each of these directions. In general, more and more researchers in networking and security look at AI-based methods which made this a timely event to assess and categorize the state of the art as well as work towards a roadmap for future research. The outcome of the discussions and the proposed research directions are presented in this report.
Cite as
Sven Dietrich, Frank Kargl, Hartmut König, Pavel Laskov, and Artur Hermann. Network Attack Detection and Defense - AI-Powered Threats and Responses (Dagstuhl Seminar 23431). In Dagstuhl Reports, Volume 13, Issue 10, pp. 90-129, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{dietrich_et_al:DagRep.13.10.90,
author = {Dietrich, Sven and Kargl, Frank and K\"{o}nig, Hartmut and Laskov, Pavel and Hermann, Artur},
title = {{Network Attack Detection and Defense - AI-Powered Threats and Responses (Dagstuhl Seminar 23431)}},
pages = {90--129},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {Dietrich, Sven and Kargl, Frank and K\"{o}nig, Hartmut and Laskov, Pavel and Hermann, Artur},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.90},
URN = {urn:nbn:de:0030-drops-198365},
doi = {10.4230/DagRep.13.10.90},
annote = {Keywords: artificial intelligence, cybersecurity, intrusion detection, machine learning}
}
Document
Edge-AI: Identifying Key Enablers in Edge Intelligence (Dagstuhl Seminar 23432)
Abstract
Edge computing promises to decentralize cloud applications while providing more bandwidth and reducing latency. Based on the discussion of our first Dagstuhl Seminar and the continuation work that took place after the seminar, we continued our work on identified challenges that need to be further addressed within the community. These challenges included 1) large-scale deployment of the edge-cloud continuum, 2) energy optimization and sustainability of such large-scale AI/ML learning and modelling, and 3) trustworthiness, security, and ethical questions related to the whole continuum. In this seminar, we discussed the current state of Edge Intelligence and shaped a holistic view of its challenges and applications. The main concerns were 1) the assessment and applicability of Edge Intelligence solutions, 2) energy consumption and sustainability, and 3) the new trend of Large-Language Models.
Cite as
Aaron Ding, Eyal de Lara, Schahram Dustdar, Ella Peltonen, and Tobias Meuser. Edge-AI: Identifying Key Enablers in Edge Intelligence (Dagstuhl Seminar 23432). In Dagstuhl Reports, Volume 13, Issue 10, pp. 130-138, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{ding_et_al:DagRep.13.10.130,
author = {Ding, Aaron and de Lara, Eyal and Dustdar, Schahram and Peltonen, Ella and Meuser, Tobias},
title = {{Edge-AI: Identifying Key Enablers in Edge Intelligence (Dagstuhl Seminar 23432)}},
pages = {130--138},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {Ding, Aaron and de Lara, Eyal and Dustdar, Schahram and Peltonen, Ella and Meuser, Tobias},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.130},
URN = {urn:nbn:de:0030-drops-198376},
doi = {10.4230/DagRep.13.10.130},
annote = {Keywords: cloud computing, edge computing, edge intelligence}
}
Document
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 23441)
Abstract
The goal of this Dagstuhl Seminar was to bring together researchers and practitioners interested and experienced in database systems and the reliability aspects thereof. It is a continuation of a previous seminar on this topic, which had built an initial understanding of the challenges and areas of future work. In this edition of the seminar, we aimed for a tangible outcome of the seminar by writing a manuscript documenting the (1) best practices in ensuring database systems' reliability, (2) the state of the art on this topic in research, as well as (3) open challenges, which might also serve as the cornerstone of writing a book on this topic presented in this report. We achieved this by forming four primary working groups during the seminar, namely (1) on the automated testing aspects concerning analytical components of database systems, (2) benchmarking, (3) reliability for transaction and concurrency aspects, as well as (4) query languages and debugging. The report contains four sections presenting the results of these working groups. Some of these working groups and individuals plan to further refine their work and discussion outcomes, aiming to submit them to upcoming venues.
Cite as
Hannes Mühleisen, Danica Porobic, and Manuel Rigger. Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 23441). In Dagstuhl Reports, Volume 13, Issue 10, pp. 139-181, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{muhleisen_et_al:DagRep.13.10.139,
author = {M\"{u}hleisen, Hannes and Porobic, Danica and Rigger, Manuel},
title = {{Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 23441)}},
pages = {139--181},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {M\"{u}hleisen, Hannes and Porobic, Danica and Rigger, Manuel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.139},
URN = {urn:nbn:de:0030-drops-198383},
doi = {10.4230/DagRep.13.10.139},
annote = {Keywords: database benchmarking, database reliability, database testing}
}
Document
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 23442)
Abstract
The Dagstuhl Seminar "Approaches and Applications of Inductive Programming" (AAIP) has taken place for the sixth time. The Dagstuhl Seminar series brings together researchers concerned with learning programs from input/output examples from different areas, mostly from machine learning and other branches of artificial intelligence research, cognitive scientists interested in human learning in complex domains, and researchers with a background in formal methods and programming languages. Main topics adressed in the AAIP 2023 seminar have been neurosymbolic approaches to IP bringing together learning and reasoning, IP as a post-hoc approach to explaining decision-making of deep learning blackbox models, and exploring the potential of deep learning approaches, especially large language models such as OpenAI Codex for IP. Topics discussed in working groups were Large Language Models and inductive programming in cognitive architectures, avoiding too much search in inductive programming, finding suitable benchmark problems, and evaluation criteria for interpretability and explainability of inductive programming.
Cite as
Luc De Raedt, Ute Schmid, and Johannes Langer. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 23442). In Dagstuhl Reports, Volume 13, Issue 10, pp. 182-211, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{deraedt_et_al:DagRep.13.10.182,
author = {De Raedt, Luc and Schmid, Ute and Langer, Johannes},
title = {{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 23442)}},
pages = {182--211},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {10},
editor = {De Raedt, Luc and Schmid, Ute and Langer, Johannes},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.182},
URN = {urn:nbn:de:0030-drops-198397},
doi = {10.4230/DagRep.13.10.182},
annote = {Keywords: explainable ai, human-like machine learning, inductive logic programming, interpretable machine learning, neuro-symbolic ai}
}