


default search action
Dagstuhl Reports, Volume 12
Volume 12, Number 1, January 2022
- Mohamed F. Mokbel, Mahmoud Attia Sakr, Li Xiong, Andreas Züfle, Jussara M. Almeida, Taylor Anderson, Walid G. Aref, Gennady L. Andrienko, Natalia V. Andrienko, Yang Cao, Sanjay Chawla, Reynold Cheng, Panos K. Chrysanthis, Xiqi Fei, Gabriel Ghinita, Anita Graser, Dimitrios Gunopulos, Christian S. Jensen, Joon-Sook Kim, Kyoung-Sook Kim, Peer Kröger, John Krumm, Johannes Lauer, Amr Magdy, Mario A. Nascimento, Siva Ravada, Matthias Renz, Dimitris Sacharidis
, Cyrus Shahabi, Flora D. Salim, Mohamed Sarwat, Maxime Schoemans, Bettina Speckmann
, Egemen Tanin, Yannis Theodoridis, Kristian Torp, Goce Trajcevski, Marc J. van Kreveld
, Carola Wenk
, Martin Werner, Raymond Chi-Wing Wong, Song Wu, Jianqiu Xu, Moustafa Youssef, Demetris Zeinalipour, Mengxuan Zhang, Esteban Zimányi:
Mobility Data Science (Dagstuhl Seminar 22021). 1-34 - Bettina Berendt, Stan Matwin, Chiara Renso, Fran Meissner
, Francesca Pratesi, Alessandra Raffaetà, Geoffrey Rockwell:
Mobility Data Mining: from Technical to Ethical (Dagstuhl Seminar 22022). 35-66 - Karsten Klein, Juan F. Sequeda, Hsiang-Yun Wu, Da Yan:
Bringing Graph Databases and Network Visualization Together (Dagstuhl Seminar 22031). 67-82 - Frank Kargl, Ioannis Krontiris, André Weimerskirch, Ian Williams:
Privacy Protection of Automated and Self-Driving Vehicles (Dagstuhl Seminar 22042). 83-100 - Albert Atserias, Christoph Berkholz, Kousha Etessami, Joanna Ochremiak:
Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051). 101-118 - Brett A. Becker, Paul Denny, Janet Siegmund, Andreas Stefik:
The Human Factors Impact of Programming Error Messages (Dagstuhl Seminar 22052). 119-130
Volume 12, Number 2, February 2022
- Erich Grädel, Phokion G. Kolaitis, Marc Noy:
Logic and Random Discrete Structures (Dagstuhl Seminar 22061). 1-16 - Maike Buchin, Anna Lubiw, Arnaud de Mesmay, Saul Schleimer:
Computation and Reconfiguration in Low-Dimensional Topological Spaces (Dagstuhl Seminar 22062). 17-66 - Erika Ábrahám, James H. Davenport, Matthew England, Alberto Griggio:
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). 67-86 - Anne Auger, Carlos M. Fonseca, Tobias Friedrich, Johannes Lengler:
Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 22081). 87-102 - Meinard Müller, Rachel M. Bittner, Juhan Nam:
Deep Learning and Knowledge Integration for Music Audio Analysis (Dagstuhl Seminar 22082). 103-133 - Claudia Clopath, Ruben De Winne, Tom Schaul:
AI for the Social Good (Dagstuhl Seminar 22091). 134-142
Volume 12, Number 3, March 2022
- Paolo Bientinesi, David A. Ham, Furong Huang, Paul H. J. Kelly, P. Sadayappan, Edward Stow:
Tensor Computations: Applications and Optimization (Dagstuhl Seminar 22101). 1-14 - Christian P. Janssen, Martin Baumann, Antti Oulasvirta, Shamsi T. Iqbal, Luisa Heinrich:
Computational Models of Human-Automated Vehicle Interaction (Dagstuhl Seminar 22102). 15-81 - Renata Borovica-Gajic, Goetz Graefe, Allison W. Lee, Caetano Sauer, Pinar Tözün
:
Database Indexing and Query Processing (Dagstuhl Seminar 22111). 82-96 - James A. D. Gardner
, Bernhard Egger, William Smith, Christian Theobalt
, Stefanie Wuhrer:
3D Morphable Models and Beyond (Dagstuhl Seminar 22121). 97-116 - Katarzyna Budzynska, Chris Reed, Manfred Stede, Benno Stein, Zhang He
:
Framing in Communication: From Theories to Computation (Dagstuhl Seminar 22131). 117-140 - Martin Grohe, Stephan Günnemann, Stefanie Jegelka, Christopher Morris:
Graph Embeddings: Theory meets Practice (Dagstuhl Seminar 22132). 141-155
Volume 12, Number 4, April 2022
- Nils Gregor Leander, Bart Mennink, María Naya-Plasencia, Yu Sasaki, Eran Lambooij:
Symmetric Cryptography (Dagstuhl Seminar 22141). 1-12 - Priyank Jaini, Kristian Kersting, Antonio Vergari, Max Welling:
Recent Advancements in Tractable Probabilistic Inference (Dagstuhl Seminar 22161). 13-25 - David Jonietz, Monika Sester, Kathleen Stewart, Stephan Winter, Martin Tomko, Yanan Xin:
Urban Mobility Analytics (Dagstuhl Seminar 22162). 26-53 - Alvaro A. Cárdenas-Mora, Simin Nadjm-Tehrani, Edgar R. Weippl, Matthias Eckhart
:
Digital Twins for Cyber-Physical Systems Security (Dagstuhl Seminar 22171). 54-71 - Tilman Dingler, Benjamin Tag, Andrew Vargo:
Technologies to Support Critical Thinking in an Age of Misinformation (Dagstuhl Seminar 22172). 72-95
Volume 12, Number 5, May 2022
- Corey Broeckling, Timothy M. D. Ebbels, Ewy A. Mathé, Nicola Zamboni, Cecilia Wieder:
Computational Metabolomics: From Spectra to Knowledge (Dagstuhl Seminar 22181). 1-16 - Josu Ceberio Uribe, Benjamin Doerr, Carsten Witt, Vicente P. Soloviev:
Estimation-of-Distribution Algorithms: Theory and Applications (Dagstuhl Seminar 22182). 17-36 - Christopher Collins, Antske Fokkens, Andreas Kerren, Chris Weaver, Angelos Chatzimparmpas:
Visual Text Analytics (Dagstuhl Seminar 22191). 37-91 - Martin Gairing, Carolina Osorio, Britta Peis, David P. Watling, Katharina Eickhoff:
Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 22192). 92-111 - Martin Grohe, Venkatesan Guruswami, Dániel Marx, Stanislav Zivný:
The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 22201). 112-130 - Jelmer P. Borst, Andreas Bulling, Cleotilde Gonzalez, Nele Russwinkel:
Anticipatory Human-Machine Interaction (Dagstuhl Seminar 22202). 131-169 - Annie Cuyt, Wen-shin Lee, Gerlind Plonka-Hoch, Ferre Knaepkens:
Exponential Analysis: Theoretical Progress and Technological Innovation (Dagstuhl Seminar 22221). 170-187 - Wendy Ju, Bastian Pfleging, Andreas Riener:
Radical Innovation and Design for Connected and Automated Vehicles (Dagstuhl Seminar 22222). 188-230
Volume 12, Number 6, June 2022
- Thomas D. LaToza, Amy J. Ko, David C. Shepherd, Dag I. K. Sjøberg, Benjamin Xie
:
Theories of Programming (Dagstuhl Seminar 22231). 1-13 - Jesse Dodge, Iryna Gurevych, Roy Schwartz, Emma Strubell, Betty van Aken:
Efficient and Equitable Natural Language Processing in the Age of Deep Learning (Dagstuhl Seminar 22232). 14-27 - Dan Ashlock, Setareh Maghsudi, Diego Perez Liebana, Pieter Spronck, Manuel Eberhardinger
:
Human-Game AI Interaction (Dagstuhl Seminar 22251). 28-82 - Benjamin Bach, Sheelagh Carpendale, Uta Hinrichs, Samuel Huron:
Visualization Empowerment: How to Teach and Learn Data Visualization (Dagstuhl Seminar 22261). 83-111 - Wendy E. Mackay, John Shawe-Taylor, Frank van Harmelen:
Human-Centered Artificial Intelligence (Dagstuhl Seminar 22262). 112-117
Volume 12, Number 7, July 2022
- Markus Brill, Jiehua Chen, Andreas Darmann, David M. Pennock, Matthias Greger:
Algorithms for Participatory Democracy (Dagstuhl Seminar 22271). 1-18 - Florian 'Floyd' Mueller, Marianna Obrist, Soh Kim, Masahiko Inami, Jialin Deng:
Eat-IT: Towards Understanding Interactive Technology and Food (Dagstuhl Seminar 22272). 19-40 - Battista Biggio, Nicholas Carlini, Pavel Laskov, Konrad Rieck, Antonio Emanuele Cinà:
Security of Machine Learning (Dagstuhl Seminar 22281). 41-61 - James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, Frank Wolter:
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282). 62-79 - Sébastien Bardin, Somesh Jha, Vijay Ganesh:
Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291). 80-111 - Maud Ehrmann
, Marten Düring, Clemens Neudecker
, Antoine Doucet:
Computational Approaches to Digitised Historical Newspapers (Dagstuhl Seminar 22292). 112-179 - Phokion G. Kolaitis, Andrei E. Romashchenko, Milan Studený, Dan Suciu, Tobias Boege:
Algorithmic Aspects of Information Theory (Dagstuhl Seminar 22301). 180-204 - Neil Brown, Mark J. Guzdial, Shriram Krishnamurthi, Jens Mönig:
Educational Programming Languages and Systems (Dagstuhl Seminar 22302). 205-236
Volume 12, Number 8, August 2022
- Nadia Boukhelifa, Christopher R. Johnson, Kristi Potter:
Visualization and Decision Making Design Under Uncertainty (Dagstuhl Seminar 22331). 1-19 - David Duvenaud, Markus Heinonen, Michael Tiemann, Max Welling:
Differential Equations and Continuous-Time Deep Learning (Dagstuhl Seminar 22332). 20-30 - Kerstin I. Eder, Timo Hönig, Daniel Mossé, Max Plauth, Maja Hanne Kirkeby:
Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341). 31-59 - Simone Fischer-Hübner, Dietrich Klakow, Peggy Valcke
, Emmanuel Vincent:
Privacy in Speech and Language Technology (Dagstuhl Seminar 22342). 60-102 - Polo Chau, Alex Endert, Daniel A. Keim, Daniela Oelke:
Interactive Visualization for Fostering Trust in ML (Dagstuhl Seminar 22351). 103-116
Volume 12, Number 9, September 2022
- Abraham Bernstein, Anita Gohdes, Cristina Sarasua, Steffen Staab, Beth Simone Noveck:
Challenges and Opportunities of Democracy in the Digital Society (Dagstuhl Seminar 22361). 1-19 - Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, Daniel Lehner, Benoît Combemale, Bernhard Rumpe
, Steffen Zschaler:
Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362). 20-40 - Markus Bläser, Valentine Kabanets, Ronen Shaltiel, Jacobo Torán:
Algebraic and Analytic Methods in Computational Complexity (Dagstuhl Seminar 22371). 41-59 - Paul Groth
, Elena Simperl, Marieke van Erp, Denny Vrandecic:
Knowledge Graphs and their Role in the Knowledge Engineering of the 21st Century (Dagstuhl Seminar 22372). 60-120 - Sven Findeiß, Christoph Flamm
, Yann Ponty:
Rational Design of RiboNucleic Acids (Dagstuhl Seminar 22381). 121-149 - Philipp Berens, Kyle Cranmer, Neil D. Lawrence, Ulrike von Luxburg, Jessica Montgomery:
Machine Learning for Science: Bridging Data-Driven and Mechanistic Modelling (Dagstuhl Seminar 22382). 150-199 - Fredrik Heintz, Gerhard Lakemeyer, Sheila A. McIlraith:
Cognitive Robotics (Dagstuhl Seminar 22391). 200-219 - Chat Wacharamanotham, Yvonne Jansen, Amelia A. McNamara, Kasper Hornbæk, Judy Robertson, Lahari Goswami
:
Transparent Quantitative Research as a User Interface Problem (Dagstuhl Seminar 22392). 220-234
Volume 12, Number 10, October 2022
- Wentong Cai, Christopher D. Carothers, David M. Nicol, Adelinde M. Uhrmacher:
Computer Science Methods for Effective and Sustainable Simulation Studies (Dagstuhl Seminar 22401). 1-60 - Madeline Endres, André Brechmann, Bonita Sharif, Westley Weimer, Janet Siegmund:
Foundations for a New Perspective of Understanding Programming (Dagstuhl Seminar 22402). 61-83 - Olaf Beyersdorff, Armin Biere, Vijay Ganesh, Jakob Nordström, Andy Oertel:
Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411). 84-105 - Nele Mentens, Stjepan Picek, Ahmad-Reza Sadeghi:
Intelligent Security: Is "AI for Cybersecurity" a Blessing or a Curse (Dagstuhl Seminar 22412). 106-128 - Arthur Gervais, Marie Vasek:
Security of Decentralized Financial Technologies (Dagstuhl Seminar 22421). 129-142 - James M. Rehg, Pierre-Yves Oudeyer, Linda B. Smith, Sho Tsuji, Stefan Stojanov, Ngoc Anh Thai:
Developmental Machine Learning: From Human Learning to Machines and Back (Dagstuhl Seminar 22422). 143-165 - Emma Frejinger, Andrea Lodi, Michele Lombardi, Neil Yorke-Smith:
Data-Driven Combinatorial Optimisation (Dagstuhl Seminar 22431). 166-174 - Khalid Al Khatib, Anita de Waard, Dayne Freitag, Iryna Gurevych, Yufang Hou, Harrisen Scells:
Towards a Unified Model of Scholarly Argumentation (Dagstuhl Seminar 22432). 175-206 - Luce Brotcorne, Christoph Buchheim, Dick den Hertog, Dorothee Henke:
Optimization at the Second Level (Dagstuhl Seminar 22441). 207-224 - Timothy Kluthe, Brett A. Becker, Christopher D. Hundhausen, Ciera Jaspan, Andreas Stefik, Thomas Zimmermann:
Toward Scientific Evidence Standards in Empirical Computer Science (Dagstuhl Seminar 22442). 225-240
Volume 12, Number 11, November 2022
- Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström:
Principles of Contract Languages (Dagstuhl Seminar 22451). 1-27 - Martin Hoefer, Sigal Oren, Roger Wattenhofer, Giovanna Varricchio:
Computational Social Dynamics (Dagstuhl Seminar 22452). 28-44 - Aaron Bernstein, Shiri Chechik, Sebastian Forster, Tsvi Kopelowitz, Yasamin Nazari, Nicole Wein:
Dynamic Graph Algorithms (Dagstuhl Seminar 22461). 45-65 - Susanne Bleisch, Steven Chaplick
, Jan-Henrik Haunert, Eva Mayr, Marc J. van Kreveld, Annika Bonerath:
Set Visualization and Uncertainty (Dagstuhl Seminar 22462). 66-95 - Artur Hecker, Stefan Schmid, Henning Schulzrinne, Lily Hügerich, Sándor Laki, Iosif Salem:
Towards More Flexible and Automated Communication Networks (Dagstuhl Seminar 22471). 96-108 - Maria Chudnovsky, Neeldhara Misra, Daniël Paulusma
, Oliver Schaudt, Akanksha Agrawal:
Vertex Partitioning in Graphs: From Structure to Algorithms (Dagstuhl Seminar 22481). 109-123 - Holger Dell, Mark Richard Jerrum, Haiko Müller, Konrad Anand, Marcus Pappik:
Counting and Sampling: Algorithms and Complexity (Dagstuhl Seminar 22482). 124-145
Volume 12, Number 12, December 2022
- Kai Kunze, Pattie Maes, Florian 'Floyd' Mueller, Katrin Wolf:
Cognitive Augmentation (Dagstuhl Seminar 22491). 1-26 - Hagit Attiya, Constantin Enea, Sergio Rajsbaum, Ana Sokolova:
Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492). 27-53 - Ana Aguiar, Onur Altintas, Falko Dressler, Gunnar Karlsson, Florian Klingler:
Inter-Vehicular Communication - From Edge Support to Vulnerable Road Users II (Dagstuhl Seminar 22512). 54-73

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.