TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl's Impact

Frequently a Dagstuhl Seminar or a Dagstuhl Event is so inspirational that the participants jointly release a publication afterwards. These works are listed below and are presented on a special shelf in the library.

Please inform us about such publications that are the consequence of a Dagstuhl Seminar.

Also, Schloss Dagstuhl would kindly ask you to acknowledge in the publication that the publication has in some way benefited from the seminar. You are free to word the acknowledgement however you like, but we would ask you to always include the seminar's title and seminar number as well as some kind of link to the seminar's website. Nevertheless, as there have often been questions on how to word the acknowledgement, here are a few fictional example wordings for your inspiration:

  • This work has benefitted from Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces."
  • This work has benefitted substantially from Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces."
  • This work has benefitted from the second and fourth author's participation in Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces."
  • Part of this work was initiated by Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces"
  • We thank the organizers of Dagstuhl Seminar 22321 "Computation in Fractional-Dimensional Banach Spaces" for bringing us together. We are particularly indebted to seminar participant Jane Doe for asking a question that initiated our research.

Petra Meyer

Library Manager

2025   2024   2023   2022   2021   2020   2019   2018   2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000   1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   Specials

2024

Dagstuhl Seminar 24342, 2024-08-18 - 2024-08-21
Article
Beware of "Explanations" of AI
Martens, David; Goethals, Sofie; Greene, Travis; Kraus, Mathias; Zharova, Alona; Zschech, Patrick; Provost, Foster; Verbeke, Wouter; Perlich, Claudia; Kühl, Niklas; Klein, Nadja; Feuerriegel, Stefan; Janiesch, Christian; Evgeniou, Theodoros; Shmueli, Galit; Gabel, Sebastian; Bauer, Kevin – Cornell University : arXiv.org, 2025. - 10 pp.
Dagstuhl Seminar 24282, 2024-07-07 - 2024-07-12
Article
Code Evolution Graphs : Understanding Large Language Model Driven Design of Algorithms
Stein, Niki van; Kononova, Anna V.; Kotthoff, Lars; Bäck, Thomas – Cornell University : arXiv.org, 2025. - 9 pp.
Dagstuhl Seminar 24272, 2024-06-30 - 2024-07-05
Article
Goodbye Hello World : Research Questions for a Future CS1 Curriculum : article in Koli Calling '24: Proceedings of the 24th Koli Calling International Conference on Computing Education Research
Keuning. Hieke; Luxton-Reilly, Andrew; Ott, Claudia; Petersen, Andrew; Kiesler, Natalie – New York : ACM, 2024. - pp. 1-2
Dagstuhl Seminar 24272, 2024-06-30 - 2024-07-05
Article
The Role of Generative AI in Software Student CollaborAItion
Kiesler, Natalie; Smith, Jacqueline; Leinonen, Fox, Armando; Juho; MacNeil, Stephen; Ihantola, Petri – Cornell University : arXiv.org, 2025. - 7 pp.
Research Meeting 24264, 2024-06-26 - 2024-06-28
Article
New trends in applied machine intelligence : Selected results of the Dagstuhl Workshop AMI’2024
Humm, Bernhard G.; Blum, Lothar B.; Decher, Sophie; Dembach, Michael; Schwerk, Anne; Seidlmayer, Eva; Zender, Alexander; Wenning, Rigo; Siegel, Melanie; Kaupp, Lukas; Hoppe, Thomas; Goetz, Christian; Busse, Johannes – Berlin : Springer, 2025. - 17 pp. – (Informatik Spektrum ; 2025 : article)
Dagstuhl Seminar 24192, 2024-05-05 - 2024-05-08
Article
Aligning Generalisation Between Humans and Machines
Ilievski, Filip; Villmann, Thomas; Ven, Gido van de; Shawe-Taylor, John; Serafini, Luciano; Pasi, Gabriella; Oltramari, Alessandro; Ngonga Ngomo, Axel-Cyrille; Mundt, Martin; Hitzler, Pascal; Dong, Xin Luna; Biehl, Michael; Schmid, Ute; Saralajew, Sascha; Harmelen, Frank van; Hammer, Barbara; Ilievski, Filip; Minervini, Pasquale; Saribatur, Zeynep G.; Shwartz, Vered; Skitalinskaya, Gabriella; Paassen, Benjamin; Bolognesi, Marianne; Gashteovski, Kiril; Marra, Giuseppe; Stachl, Clemens – Cornell University : arXiv.org, 2024. - 35 pp.
Dagstuhl Seminar 24181, 2024-04-28 - 2024-05-03
Article
MassSpecGym : A benchmark for the discovery and identification of molecules
Bushuiev, Roman; Bushuiev, Anton; Jonge, Nick de; Young, Adamo; Kretschmer, Fleming; Samusevich, Raman; Heirman, Janne; Wang, Fei; Pluskal, Tomáš; Sivic, Josef; Böcker, Sebastian; Stravs, Michael A.; Hooft, Justin J. J. van der; Huber, Florian; Hassoun, Soha; Mak, Tytus D.; Rost, Hannes; Bittremieux, Wout; Rousu, Juho; Liu, Li-Ping; Wishart, David S.; Wang, Bo; Greiner, Russell; Schmid, Robin; Brungs, Corinna; Kalia, Apurva; Haupt, Nils A.; Ludwig, Marcus; Dührkop, Kai; Zhang, Luke – Cornell University : arXiv.org, 2024. - 49 pp.
Dagstuhl Seminar 24162, 2024-04-14 - 2024-04-19
Article
Databases in the Era of Memory-Centric Computing : article in 15th Annual Conference on Innovative Data Systems Research (CIDR ’25), January 19-22, Amsterdam
Chronis, Yannis; Ailamaki, Anastasia; Benson, Lawrence; Caminal, Helena; Gičeva, Jana; Patterson. Dave; Sedlar, Eric; Wills, Lisa Wu – vldb.org, 2025. - 7 pp.
Dagstuhl Seminar 24122, 2024-03-17 - 2024-03-22
Article
Node Embeddings via Neighbor Embeddings
Böhm, Jan Niklas; Keute, Marius; Guzmán, Alica; Draganov, Andrew; Kobak, Dmitry – Cornell University : arXiv.org, 2025. - 8 pp.
Dagstuhl Seminar 24101, 2024-03-03 - 2024-03-08
Article
The Five-Minute Rule for the Cloud: Caching in Analytics Systems : article in The Conference on Innovative Data Systems Research (CIDR), 2025, Amsterdam, The Netherlands
Duwe, Kira; Anadiotis, Angelos; Lamb, Andrew; Lersch, Lucas; Leskes, Boaz; Tözün, Pinar; Ritter, Daniel – cidrdb.org, 2025. - 6 pp.
Dagstuhl Seminar 24051, 2024-01-28 - 2024-02-02
Article
Behavioural Types for Heterogeneous Systems : Position Paper
Fowler, Simon; Haller, Philipp; Kuhn, Roland; Lindley, Sam; Scalas, Alceste; Vasconcelos, Vasco T. – Cornell University : arXiv.org, 2024. - 12 pp.
Dagstuhl Seminar 24052, 2024-01-28 - 2024-02-02
Article
What Can Natural Language Processing Do for Peer Review?
Kuznetsov, Ilia; Afzal, Osama Mohammed; Dercksen, Koen; Leyton-Brown, Kevin; Névéol, Aurélie; Schwartz, Roy; Zhu, Xiaodan; Gurevych, Iryna; Shah, Nihar B.; Rogers, Anna; Wang, Jingyan; Solorio, Thamar; Smith, Noah A.; Qu, Lizhen; Pruthi, Danish; Mieskes, Margot; Mausam; Lu, Sheng; Lauscher, Anne; Dycke, Nils; Goldberg, Alexander; Hope, Tom; Hovy, Dirk; Kummerfeld, Jonathan K. – Cornell University : arXiv.org, 2024. - 43 pp.
Dagstuhl Seminar 24051, 2024-01-28 - 2024-02-02
Article
Split Decisions : Explicit Contexts for Substructural Languages : article in CPP '25: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs
Zackon, Daniel; Sano, Chuta; Momigliano, Alberto; Pientka, Brigitte – New York : ACM, 2025. - Pages 257 - 27
Dagstuhl Seminar 24051, 2024-01-28 - 2024-02-02
Article
The Concurrent Calculi Formalisation Benchmark
Carbone, Marco; Castro-Perez, David; Ferreira, Francisco; Gheri, Lorenzo; Jacobsen, Frederik Krogsdal; Momigliano, Alberto; Padovani, Luca; Scalas, Alceste; Tirore, Dawit; Vassor, Martin; Yoshida, Nobuko; Zackon, Daniel – Heidelberg : Springer, 2024. - 330 S. – (Lecture notes in computer science ; 14676 : article)
Dagstuhl Seminar 24041, 2024-01-21 - 2024-01-26
Article
Comprehensive Robustness Analysis of GCM, CCM, and OCB3
Inoue, Akiko; Iwata, Tetsu; Minematsu, Kazuhiko – Cryptology ePrint Archive, 2024. - 43 pp.
Dagstuhl Seminar 24031, 2024-01-14 - 2024-01-19
Article
Root cause analysis using anomaly detection and temporal informed causal graphs : article in ML4CPS – Machine Learning for Cyber-Physical Systems
Rehak, Josephine; Youssef, Shahenda; Beyerer, Jürgen – Hamburg : Universität, 2024. - 10 pp.
Dagstuhl Seminar 24031, 2024-01-14 - 2024-01-19
Article
A Lazy Approach to Neural Numerical Planning with Control Parameters : article in ECAI 2024
Heesch, René; Cimatti, Alessandro; Ehrhardt, Jonas; Diedrich, Alexander; Niggemann, Oliver – Amsterdam : IOS Press, 2024. - 9 pp. – (Frontiers in Artificial Intelligence and Applications ; 392)
Dagstuhl Seminar 24031, 2024-01-14 - 2024-01-19
Article
Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory : article in 35th International Conference on Principles of Diagnosis and Resilient Systems
Niggemann, Oliver; Diedrich, Alexander; Heesch, René; Bozzano, Marco; Ludwig, Björn; Cimatti, Alessandro – Wadern : LZI 2024. ; pp. 9:1-9:19
Dagstuhl Seminar 24031, 2024-01-14 - 2024-01-19
Article
Using Multi-Modal LLMs to Create Models for Fault Diagnosis (Short Paper) : article in 35th International Conference on Principles of Diagnosis and Resilient Systems
Niggemann, Oliver; Dumitrescu, Roman; Merkelbach, Silke; Diedrich, Alexander; Sztyber, Anna; Travé-Massuyès, Louise; Chanthery, Elodie – Wadern : LZI, 2024 : pp. 31:1-31:15
Dagstuhl Seminar 24031, 2024-01-14 - 2024-01-19
Article
Usability of Symbolic Regression for Hybrid System Identification - System Classes and Parameters (Short Paper) : article in 35th International Conference on Principles of Diagnosis and Resilient Systems
Plambeck, Swantje; Schmidt, Maximilian; Subias, Audine; Travé-Massuyès, Louise; Fey, Görschwin – Wadern : LZI, 2024, - pp. 30:1-30:14
Dagstuhl Seminar 24031, 2024-01-14 - 2024-01-19
Article
A Hierarchical Monitoring and Diagnosis System for Autonomous Robots : article in 35th International Conference on Principles of Diagnosis and Resilient Systems
Steinbauer-Wagner, Gerald; Fürbaß, Leo; De Bortoli, Marco; Travé-Massuyès, Louise – Wadern : LZI, 2024.- pp. 1:1-1:9
Dagstuhl Seminar 24031, 2024-01-14 - 2024-01-19
Article
Bridging Hardware and Software Diagnosis : Leveraging Fault Signature Matrix and Spectrum-Based Fault Localization Similarities
Travé-Massuyès, Louise; Wotawa, Franz – Wadern: LZI, 2024. - pp. 5:1-5:15
Dagstuhl Seminar 24032, 2024-01-14 - 2024-01-19
Article
Dynamic Direct Access of MSO Query Evaluation over Strings : article in 28th International Conference on Database Theory
Bourhis, Pierre; Capelli, Florent; Mengel, Stefan; Riveros, Cristian – Wadern : LZI, 2025. – (Leibniz International Proceedings in Informatics ; 328 : article)
Dagstuhl Seminar 24032, 2024-01-14 - 2024-01-19
Article
Consistency of Relations over Monoids
Atserias, Albert; Kolaitis, Phokion G. – New York : ACM, 2024. - 15 pp. – (Proceedings of the ACM on Management of Data ; 2. 2024. 2 : Article 107)
Dagstuhl Seminar 24021, 2024-01-07 - 2024-01-12
Article
Quotients, pure existential completions and arithmetic universes
Maietti, Maria Emilia; Trotta, Davide – Sackville : Mount Allison University, 2025. - pp 59-83
Dagstuhl Seminar 24021, 2024-01-07 - 2024-01-12
Article
On symmetries of spheres in univalent foundations : article in LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science
Cagne, Pierre; Buchholtz, Ulrik Torben; Kraus, Nicolai; Bezem, Marc – New York : ACM, 2024. - Pages 1 - 14
Dagstuhl Seminar 24021, 2024-01-07 - 2024-01-12
Article
Separability and harmony in ecumenical systems : acepted to the Journal of Logic and Computation
Marin, Sonia; Pereira, Luiz Carlos; Pimentel, Elaine; Sales, Emerson – Cornell University : arXiv.org, 2025. - 27 pp.
Dagstuhl Seminar 24021, 2024-01-07 - 2024-01-12
Article
Playing with Modalities (Invited Talk)
Pimentel, Elaine; Olarte, Carlos; Lang, Timo; Freiman, Robert; Fermüller, Christian G. – Wadern : LZI, 2025 – (Leibniz International Proceedings in Informatics ; 326 : article)