


default search action
Dagstuhl Reports, Volume 11
Volume 11, Number 1, January 2021
- Gerth Stølting Brodal, John Iacono, Markus E. Nebel, Vijaya Ramachandran:

Scalable Data Structures (Dagstuhl Seminar 21071). 1-23 - Olivier Boissier, Andrei Ciortea, Andreas Harth, Alessandro Ricci:

Autonomous Agents on the Web (Dagstuhl Seminar 21072). 24-100
Volume 11, Number 2, February 2021
- Anna Gál, Meena Mahajan, Rahul Santhanam, Till Tantau:

Computational Complexity of Discrete Problems (Dagstuhl Seminar 21121). 1-16
Volume 11, Number 3, March 2021
- Katy Börner, Stephen G. Kobourov:

Multi-Level Graph Representation for Big Data Arising in Science Mapping (Dagstuhl Seminar 21152). 1-15 - Arnaud Casteigts, Kitty Meeks, George B. Mertzios, Rolf Niedermeier:

Temporal Graphs: Structure, Algorithms, Applications (Dagstuhl Seminar 21171). 16-46
Volume 11, Number 4, April 2021
- Siu-Wing Cheng, Anne Driemel, Jeff M. Phillips:

Computational Geometry (Dagstuhl Seminar 21181). 1-19 - Andrew Cropper, Luc De Raedt, Richard Evans, Ute Schmid:

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192). 20-33 - Cristina L. Abad, Ian T. Foster, Nikolas Herbst, Alexandru Iosup:

Serverless Computing (Dagstuhl Seminar 21201). 34-93
Volume 11, Number 5, May 2021
- Judy Kay, Tsvi Kuflik, Michael Rovatsos:

Transparency by Design (Dagstuhl Seminar 21231). 1-22 - Stephen A. Brewster, Andrew L. Kun, Andreas Riener, Orit Shaer:

Human-Computer Interaction to Support Work and Wellbeing in Mobile Environments (Dagstuhl Seminar 21232). 23-53 - Jon Crowcroft, Philip Eardley, Dirk Kutscher, Eve M. Schooler:

Compute-First Networking (Dagstuhl Seminar 21243). 54-75 - Bill Fefferman, Sevag Gharibian, Norbert Schuch, Barbara M. Terhal:

Quantum Complexity: Theory and Application (Dagstuhl Seminar 21261). 76-88 - Ana Aguiar, Onur Altintas, Falko Dressler, Gunnar Karlsson:

Inter-Vehicular Communication - From Edge Support to Vulnerable Road Users (Dagstuhl Seminar 21262). 89-96
Volume 11, Number 6, June 2021
- Sebastian Böcker, Rebekah L. Gundry, Lennart Martens, Magnus Palmblad

:
Computational Proteomics (Dagstuhl Seminar 21271). 1-13 - Vaibhav Bajpai

, Oliver Hohlfeld, Jon Crowcroft, Srinivasan Keshav:
Towards Climate-Friendly Internet Research (Dagstuhl Seminar 21272). 14-37 - Stratos Idreos, Viktor Leis, Kai-Uwe Sattler, Margo I. Seltzer:

Data Structures for Modern Memory and Storage Hierarchies (Dagstuhl Seminar 21283). 38-53 - Danel Ahman, Amal Ahmed, Sam Lindley

, Andreas Rossberg:
Scalable Handling of Effects (Dagstuhl Seminar 21292). 54-81 - Robert Ganian, Fabrizio Montecchiani, Martin Nöllenburg, Meirav Zehavi:

Parameterized Complexity in Graph Drawing (Dagstuhl Seminar 21293). 82-123 - Haris Aziz, Péter Biró, Tamás Fleiner, Bettina Klaus:

Matching Under Preferences: Theory and Practice (Dagstuhl Seminar 21301). 124-146 - Eva Darulova, Babak Falsafi, Andreas Gerstlauer, Phillip Stanley-Marbell:

Approximate Systems (Dagstuhl Seminar 21302). 147-163
Volume 11, Number 7, July 2021
- Edith Elkind, Judy Goldsmith, Anja Rey, Jörg Rothe:

Coalition Formation Games (Dagstuhl Seminar 21331). 1-15 - Philip H. Carns, Julian M. Kunkel, Kathryn M. Mohror, Martin Schulz:

Understanding I/O Behavior in Scientific and Data-Intensive Computing (Dagstuhl Seminar 21332). 16-75 - Aaron Yi Ding, Ella Peltonen, Sasu Tarkoma, Lars C. Wolf:

Identifying Key Enablers in Edge Intelligence (Dagstuhl Seminar 21342). 76-88 - Timothy Baldwin, William Croft, Joakim Nivre, Agata Savary:

Universals of Linguistic Idiosyncrasy in Multilingual Computational Linguistics (Dagstuhl Seminar 21351). 89-138 - Tina Eliassi-Rad, Vito Latora, Martin Rosvall, Ingo Scholtes:

Higher-Order Graph Models: From Theoretical Foundations to Machine Learning (Dagstuhl Seminar 21352). 139-178
Volume 11, Number 8, August 2021
- João Marques-Silva, Rafael Peñaloza, Uli Sattler:

Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361). 1-10 - Tiansi Dong, Achim Rettinger, Jie Tang, Barbara Tversky, Frank van Harmelen:

Structure and Learning (Dagstuhl Seminar 21362). 11-34 - Maria Paola Bonacina

, Philipp Rümmer, Renate A. Schmidt:
Integrated Deduction (Dagstuhl Seminar 21371). 35-51 - Mariangiola Dezani, Roland Kuhn, Sam Lindley, Alceste Scalas:

Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372). 52-75 - Effie Lai-Chong Law, Asbjørn Følstad, Jonathan Grudin, Björn W. Schuller:

Conversational Agent as Trustworthy Autonomous System (Trust-CA) (Dagstuhl Seminar 21381). 76-114 - Daniel Král', Michal Pilipczuk, Sebastian Siebertz, Blair D. Sullivan:

Sparsity in Algorithms, Combinatorics and Logic (Dagstuhl Seminar 21391). 115-128
Volume 11, Number 9, September 2021
- Karsten Klein, Georgeta Elisabeta Marai, Kay Katja Nieselt, Blaz Zupan:

Visualization of Biological Data - From Analysis to Communication (Dagstuhl Seminar 21401). 1-27 - Claude Kirchner, Franziska Roesner:

Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation (Dagstuhl Seminar 21402). 28-44 - Ulf Brefeld, Jesse Davis, Martin Lames, James J. Little:

Machine Learning in Sports (Dagstuhl Seminar 21411). 45-63 - Stacey Jeffery, Michele Mosca, María Naya-Plasencia, Rainer Steinwandt:

Quantum Cryptanalysis (Dagstuhl Seminar 21421). 64-79 - Nikolaj S. Bjørner, Maria Christakis, Matteo Maffei, Grigore Rosu:

Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431). 80-101 - Philipp Hennig, Ilse C. F. Ipsen, Maren Mahsereci, Tim Sullivan:

Probabilistic Numerical Methods - From Theory to Implementation (Dagstuhl Seminar 21432). 102-119
Volume 11, Number 10, October 2021
- Michael Gerndt, Masaaki Kondo, Barton P. Miller, Tapasya Patki:

Adaptive Resource Management for HPC Systems (Dagstuhl Seminar 21441). 1-19 - Alexander Böhm, Maria Christakis, Eric Lo, Manuel Rigger:

Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442). 20-35 - Simon Dejung, Mingyan Liu, Arndt Lüder, Edgar R. Weippl:

Managing Industrial Control Systems Security Risks for Cyber Insurance (Dagstuhl Seminar 21451). 36-56 - Thomas Colcombet, Karin Quaas, Michal Skrzypczak:

Unambiguity in Automata Theory (Dagstuhl Seminar 21452). 57-71 - Mathieu Hoyrup, Arno Pauly, Victor L. Selivanov, Mariya Ivanova Soskova:

Descriptive Set Theory and Computable Topology (Dagstuhl Seminar 21461). 72-93 - Hans-Juergen Boehm, Ori Lahav, Azalea Raad:

Foundations of Persistent Programming (Dagstuhl Seminar 21462). 94-110 - Falai Chen, Tor Dokken, Géraldine Morin:

Geometric Modeling: Interoperability and New Challenges (Dagstuhl Seminar 21471). 111-150 - Thierry Coquand, Hajime Ishihara, Sara Negri, Peter M. Schuster:

Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472). 151-172 - David Chisnall, Deepak Garg, Catalin Hritcu, Mathias Payer:

Secure Compilation (Dagstuhl Seminar 21481). 173-204
Volume 11, Number 11, November 2021
- Pedro Cabalar, Zoe Falomir, Paulo E. Santos

, Thora Tenbrink:
Representing and Solving Spatial Problems (Dagstuhl Seminar 21492). 1-55

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














