yusuke1997/dblp-id-title huggingface dataset:
Programmable Network Data Planes (Dagstuhl Seminar 19141)
Privacy Protection of Automated and Self-Driving Vehicles (Dagstuhl Seminar 22042)
Representing and Solving Spatial Problems (Dagstuhl Seminar 21492)
Mixed Criticality on Multicore/Manycore Platforms (Dagstuhl Seminar 15121)
Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442)
Multi-Level Modelling (Dagstuhl Seminar 17492)
Enumeration in Data Management (Dagstuhl Seminar 19211)
SportsHCI (Dagstuhl Seminar 23292)
Structure and Learning (Dagstuhl Seminar 21362)
Human in the Loop Learning through Grounded Interaction in Games (Dagstuhl Perspectives Workshop 24492)
Advances and Challenges in Protein-RNA Recognition, Regulation and Prediction (Dagstuhl Seminar 19342)
Quantum Cryptanalysis (Dagstuhl Seminar 15371)
The Future of Research Communication (Dagstuhl Perspectives Workshop 11331)
Genetic Improvement of Software (Dagstuhl Seminar 18052)
Reproducibility of Data-Oriented Experiments in e-Science (Dagstuhl Seminar 16041)
Touching the 3rd Dimension (Dagstuhl Seminar 12151)
High-performance Graph Algorithms and Applications in Computational Science (Dagstuhl Seminar 14461)
The Human Factors Impact of Programming Error Messages (Dagstuhl Seminar 22052)
Web Application Security (Dagstuhl Seminar 12401)
Database Workload Management (Dagstuhl Seminar 12282)
Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461)
Evaluation Methodologies in Information Retrieval (Dagstuhl Seminar 13441)
Statistical Techniques for Translating to Morphologically Rich Languages (Dagstuhl Seminar 14061)
Progressive Data Analysis and Visualization (Dagstuhl Seminar 18411)
Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341)
Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 18102)
The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)
Deduction Beyond Satisfiability (Dagstuhl Seminar 19371)
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)
Representation, Provenance, and Explanations in Database Theory and Logic (Dagstuhl Seminar 24032)
Future Internet for eHealth (Dagstuhl Seminar 12231)
Computational Geometry (Dagstuhl Seminar 21181)
Coding Theory in the Time of Big Data (Dagstuhl Seminar 16321)
Secure Architectures in the Cloud (Dagstuhl Seminar 11492)
Improving Trust between Humans and Software Robots in Robotic Process Automation (Dagstuhl Seminar 24292)
Software Development Analytics (Dagstuhl Seminar 14261)
Computational Challenges in Cooperative Intelligent Urban Transport (Dagstuhl Seminar 16091)
Beyond Adaptation: Understanding Distributional Changes (Dagstuhl Seminar 20372)
Computational Geometry (Dagstuhl Seminar 17171)
Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441)
Human-Centered Artificial Intelligence (Dagstuhl Seminar 22262)
Interface of Computation, Game Theory, and Economics (Dagstuhl Seminar 13161)
The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 22201)
Customizing Service Platforms (Dagstuhl Seminar 13171)
Testing and Verification of Compilers (Dagstuhl Seminar 17502)
Algorithms and Effectivity in Tropical Mathematics and Beyond (Dagstuhl Seminar 16482)
Scalable Handling of Effects (Dagstuhl Seminar 21292)
Blockchains, Smart Contracts and Future Applications (Dagstuhl Seminar 18152)
Human-Like Neural-Symbolic Computing (Dagstuhl Seminar 17192)
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442)
Joint Processing of Language and Visual Data for Better Automated Understanding (Dagstuhl Seminar 19021)
From Observations to Prediction of Movement (Dagstuhl Seminar 18282)
The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 12451)
Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy (Dagstuhl Seminar 24361)
Parallel Data Analysis (Dagstuhl Seminar 13251)
Reframing Technical Debt (Dagstuhl Perspectives Workshop 24452)
Program Equivalence (Dagstuhl Seminar 18151)
Genomic Privacy (Dagstuhl Seminar 15431)
Communication Complexity, Linear Optimization, and lower bounds for the nonnegative rank of matrices (Dagstuhl Seminar 13082)
Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241)
Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 22081)
Beyond VR and AR: Reimagining Experience Sharing and Skill Transfer Towards an Internet of Abilities (Dagstuhl Seminar 17062)
Agents on the Web (Dagstuhl Seminar 23081)
Multiobjective Optimization on a Budget (Dagstuhl Seminar 23361)
Scalable Graph Mining and Learning (Dagstuhl Seminar 23491)
Visualization of Biological Data - From Analysis to Communication (Dagstuhl Seminar 21401)
Machine Learning and Formal Method (Dagstuhl Seminar 17351)
Automated Algorithm Selection and Configuration (Dagstuhl Seminar 16412)
Managing Technical Debt in Software Engineering (Dagstuhl Seminar 16162)
Semantic Data Management (Dagstuhl Seminar 12171)
Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272)
Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411)
Towards a Unified Model of Scholarly Argumentation (Dagstuhl Seminar 22432)
The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072)
Concurrent Computing in the Many-core Era (Dagstuhl Seminar 15021)
Evolution and Computing (Dagstuhl Seminar 16011)
Information-Centric Networking 3 (Dagstuhl Seminar 14291)
Deduction and Arithmetic (Dagstuhl Seminar 13411)
Toward Scientific Evidence Standards in Empirical Computer Science (Dagstuhl Seminar 22442)
'My Life, Shared' - Trust and Privacy in the Age of Ubiquitous Experience Sharing (Dagstuhl Seminar 13312)
Graph Drawing with Algorithm Engineering Methods (Dagstuhl Seminar 11191)
Methods and Tools for the Engineering and Assurance of Safe Autonomous Systems (Dagstuhl Seminar 24151)
Wildly Heterogeneous Post-CMOS Technologies Meet Software (Dagstuhl Seminar 17061)
Accountable Software Systems (Dagstuhl Seminar 23411)
Robust Query Processing in the Cloud (Dagstuhl Seminar 24101)
Application-Oriented Computational Social Choice (Dagstuhl Seminar 19381)
Novel Scenarios for the Wireless Internet of Things (Dagstuhl Seminar 23222)
Programmable Host Networking (Dagstuhl Seminar 24291)
Synergizing Theory and Practice of Automated Algorithm Design for Optimization (Dagstuhl Seminar 23332)
EU Cyber Resilience Act: Socio-Technical and Research Challenges (Dagstuhl Seminar 24112)
Packing and Scheduling Algorithms for Information and Communication Services (Dagstuhl Seminar 11091)
Organic Computing - Design of Self-Organizing Systems (Dagstuhl Seminar 11181)
Information Flow and Its Applications (Dagstuhl Seminar 12352)
Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications (Dagstuhl Seminar 14201)
Challenges and Perspectives in Deep Generative Modeling (Dagstuhl Seminar 23072)
Analysis of Dynamic Social and Technological Networks (Dagstuhl Seminar 11452)
Planning with epistemic goals (Dagstuhl Seminar 14032)
Multimodal Music Processing (Dagstuhl Seminar 11041)
Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452)
Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031)
Next Generation Domain Specific Conceptual Modeling: Principles and Methods (Dagstuhl Seminar 18471)
Estimation-of-Distribution Algorithms: Theory and Applications (Dagstuhl Seminar 22182)
Synergies between Adaptive Analysis of Algorithms, Parameterized Complexity, Compressed Data Structures and Compressed Indices (Dagstuhl Seminar 18281)
Frontiers of Information Access Experimentation for Research and Education (Dagstuhl Seminar 23031)
Trust and Accountability in Knowledge Graph-Based AI for Self Determination (Dagstuhl Seminar 25051)
Algorithms for Participatory Democracy (Dagstuhl Seminar 22271)
Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 19341)
Software Synthesis (Dagstuhl Seminar 12152)
Efficient and Equitable Natural Language Processing in the Age of Deep Learning (Dagstuhl Seminar 22232)
Eat-IT: Towards Understanding Interactive Technology and Food (Dagstuhl Seminar 22272)
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)
Plan Recognition (Dagstuhl Seminar 11141)
Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)
Algebraic and Analytic Methods in Computational Complexity (Dagstuhl Seminar 22371)
The Emerging Issues in Bioimaging AI Publications and Research (Dagstuhl Seminar 24042)
Network Attack Detection and Defense (Dagstuhl Seminar 16361)
Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011)
Bringing Graph Databases and Network Visualization Together (Dagstuhl Seminar 22031)
SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342)
Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511)
Symmetric Cryptography (Dagstuhl Seminar 22141)
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051)
Organizational Processes for Supporting Sustainable Security (Dagstuhl Seminar 12501)
Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211)
Generative Models for 3D Vision (Dagstuhl Seminar 25202)
Recent Trends in Graph Decomposition (Dagstuhl Seminar 23331)
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442)
Constraints, Optimization and Data (Dagstuhl Seminar 14411)
Co-Design of Systems and Applications for Exascale (Dagstuhl Perspectives Worksop 12212)
Supporting Organizational Efficiency and Agility: Models, Languages and Software Systems (Dagstuhl Seminar 16192)
Users and automated driving systems: How will we interact with tomorrow's vehicles? (Dagstuhl Seminar 19132)
Security and Rewriting (Dagstuhl Seminar 11332)
ICT Strategies for Bridging Biology and Precision Medicine (Dagstuhl Perspectives Workshop 13342)
Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)
Online Privacy: Transparency, Advertising, and Dark Patterns (Dagstuhl Seminar 25042)
Logic and Random Discrete Structures (Dagstuhl Seminar 22061)
Online Privacy and Web Transparency (Dagstuhl Seminar 17162)
Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)
SAT and Interactions (Dagstuhl Seminar 16381)
Probabilistic Methods in the Design and Analysis of Algorithms (Dagstuhl Seminar 17141)
Mobility Data Mining and Privacy (Dagstuhl Seminar 12331)
New Perspectives in Shape Analysis (Dagstuhl Seminar 14072)
Resource-bounded Problem Solving (Dagstuhl Seminar 14341)
Self-assembly and Self-organization in Computer Science and Biology (Dagstuhl Seminar 15402)
Modeling and Analysis of Semiconductor Supply Chains (Dagstuhl Seminar 16062)
Towards Performance Modeling and Performance Prediction across IR/RecSys/NLP (Dagstuhl Perspectives Workshop 17442)
Algebraic and Combinatorial Methods in Computational Complexity (Dagstuhl Seminar 12421)
The Critical Internet Infrastructure (Dagstuhl Seminar 13322)
Geometric Modeling: Interoperability and New Challenges (Dagstuhl Seminar 21471)
Proof Representations: From Theory to Applications (Dagstuhl Seminar 24341)
Foundations of Composite Event Recognition (Dagstuhl Seminar 20071)
Engineering Moral Agents - from Human Morality to Artificial Morality (Dagstuhl Seminar 16222)
Holistic Scene Understanding (Dagstuhl Seminar 15081)
Explainability in Focus: Advancing Evaluation through Reusable Experiment Design (Dagstuhl Seminar 25142)
Federated Semantic Data Management (Dagstuhl Seminar 17262)
Quantum Cryptanalysis (Dagstuhl Seminar 17401)
Automatic Application Tuning for HPC Architectures (Dagstuhl Seminar 13401)
Shape-Changing Interfaces (Dagstuhl Seminar 17082)
Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)
Efficient Algorithms for Global Optimisation Methods in Computer Vision (Dagstuhl Seminar 11471)
Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251)
Resiliency in Numerical Algorithm Design for Extreme Scale Simulations (Dagstuhl Seminar 20101)
Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231)
Conversational Agent as Trustworthy Autonomous System (Trust-CA) (Dagstuhl Seminar 21381)
Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191)
Duality in Computer Science (Dagstuhl Seminar 15441)
Socio-Technical Security Metrics (Dagstuhl Seminar 14491)
Adjoint Methods in Computational Science, Engineering, and Finance (Dagstuhl Seminar 14371)
Structure Discovery in Biology: Motifs, Networks & Phylogenies (Dagstuhl Seminar 12291)
Domain-Specific Languages (Dagstuhl Seminar 15062)
Transparency by Design (Dagstuhl Seminar 21231)
Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371)
PETs and AI: Privacy Washing and the Need for a PETs Evaluation Framework (Dagstuhl Seminar 25112)
Privacy Protection of Automated and Self-Driving Vehicles (Dagstuhl Seminar 23242)
Artificial and Computational Intelligence in Games: Revolutions in Computational Game AI (Dagstuhl Seminar 19511)
Genomic Privacy (Dagstuhl Seminar 13412)
Adaptive Isolation for Predictability and Security (Dagstuhl Seminar 16441)
New Horizons in Parameterized Complexity (Dagstuhl Seminar 19041)
Geometric Logic, Constructivisation, and Automated Theorem Proving (Dagstuhl Seminar 21472)
Human-AI Interaction for Work (Dagstuhl Seminar 23452)
Knowledge Graphs and their Role in the Knowledge Engineering of the 21st Century (Dagstuhl Seminar 22372)
Visual Computing in Materials Sciences (Dagstuhl Seminar 19151)
Social Issues in Computational Transportation Science (Dagstuhl Seminar 13512)
The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)
AI for the Social Good (Dagstuhl Seminar 22091)
Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)
Assessing Learning In Introductory Computer Science (Dagstuhl Seminar 16072)
Bidimensional Structures: Algorithms, Combinatorics and Logic (Dagstuhl Seminar 13121)
Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 16221)
Addressing the Computational Challenges of Personalized Medicine (Dagstuhl Seminar 17472)
Computational Metabolomics: Towards Molecules, Models, and their Meaning (Dagstuhl Seminar 24181)
Ubiquitous Computing Education: Why, What, and How (Dagstuhl Seminar 19232)
Assuring Resilience, Security and Privacy for Flexible Networked Systems and Organisations (Dagstuhl Seminar 15151)
Pattern Avoidance and Genome Sorting (Dagstuhl Seminar 16071)
Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061)
Scalable Data Structures (Dagstuhl Seminar 23211)
Regular Expressions: Matching and Indexing (Dagstuhl Seminar 24472)
Crowdsourcing and Human-Centred Experiments (Dagstuhl Seminar 15481)
Requirements Management - Novel Perspectives and Challenges (Dagstuhl Seminar 12442)
Real-World Visual Computing (Dagstuhl Seminar 13431)
Information Exchange in Software Verification (Dagstuhl Seminar 25172)
Algorithmic Enumeration: Output-sensitive, Input-Sensitive, Parameterized, Approximative (Dagstuhl Seminar 18421)
Computational Mass Spectrometry (Dagstuhl Seminar 13491)
Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031)
Interoperation in Complex Information Ecosystems (Dagstuhl Seminar 13252)
Graph Algorithms: Cuts, Flows, and Network Design (Dagstuhl Seminar 23422)
Pushing the Limits of Computational Combinatorial Constructions (Dagstuhl Seminar 23161)
Theory of Randomized Optimization Heuristics (Dagstuhl Reports 19431)
Combinatorial and Algorithmic Aspects of Sequence Processing (Dagstuhl Seminar 11081)
Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392)
Scheduling (Dagstuhl Seminar 20081)
Deep Learning for Computer Vision (Dagstuhl Seminar 17391)
Geometric Modelling, Interoperability and New Challenges (Dagstuhl Seminar 17221)
Privacy in Speech and Language Technology (Dagstuhl Seminar 22342)
Indexes and Computation over Compressed Structured Data (Dagstuhl Seminar 13232)
Bidirectional Transformation "bx" (Dagstuhl Seminar 11031)
Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)
Computational Approaches to Digitised Historical Newspapers (Dagstuhl Seminar 22292)
Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452)
Computational Music Structure Analysis (Dagstuhl Seminar 16092)
Machine Learning Meets Visualization to Make Artificial Intelligence Interpretable (Dagstuhl Seminar 19452)
Internet of People (Dagstuhl Seminar 17412)
Optimal algorithms and proofs (Dagstuhl Seminar 14421)
Social Agents for Teamwork and Group Interactions (Dagstuhl Seminar 19411)
Modeling for Sustainability (Dagstuhl Seminar 18351)
Art, Visual Illusions, and Data Visualization (Dagstuhl Seminar 24301)
Computational Geometry (Dagstuhl Seminar 25201)
Anticipatory Human-Machine Interaction (Dagstuhl Seminar 22202)
Logic and Learning (Dagstuhl Seminar 19361)
Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 12391)
Foundations of Unsupervised Learning (Dagstuhl Seminar 16382)
Cognitive Augmentation (Dagstuhl Seminar 22491)
Privacy and Security in Smart Energy Grids (Dagstuhl Seminar 16032)
Metric Sketching and Dynamic Algorithms for Geometric and Topological Graphs (Dagstuhl Seminar 25212)
Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211)
Design of Reversible and Quantum Circuits (Dagstuhl Seminar 11502)
Algorithmic Aspects of Information Theory (Dagstuhl Seminar 22301)
Formal Methods of Transformations (Dagstuhl Seminar 17142)
Ubiquitous Gaze Sensing and Interaction (Dagstuhl Seminar 18252)
On-Body Interaction: Embodied Cognition Meets Sensor/Actuator Engineering to Design New Interfaces (Dagstuhl Seminar 18212)
Secure Composition for Hardware Systems (Dagstuhl Seminar 19301)
Programming Language Processing (Dagstuhl Seminar 23062)
Dealing with Complexities in Auction and Matching Market Design (Dagstuhl Seminar 25071)
Computational Geometry (Dagstuhl Seminar 11111)
Discrete Algorithms on Modern and Emerging Compute Infrastructure (Dagstuhl Seminar 24201)
Computer Science Meets Ecology (Dagstuhl Seminar 17091)
Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061)
JA4AI - Judgment Aggregation for Artificial Intelligence (Dagstuhl Seminar 14202)
Mobility Data Mining: from Technical to Ethical (Dagstuhl Seminar 22022)
Secure and Efficient Post-Quantum Cryptography in Hardware and Software (Dagstuhl Seminar 23152)
Towards an Affordable Internet Access for Everyone: The Quest for Enabling Universal Service Commitment (Dagstuhl Seminar 14471)
Securing Critical Infrastructures from Targeted Attacks (Dagstuhl Seminar 12502)
Computational Mass Spectrometry (Dagstuhl Seminar 15351)
Game Theory Meets Computational Learning Theory (Dagstuhl Seminar 17251)
SAT and Interactions (Dagstuhl Seminar 24421)
Cybersafety Threats - from Deception to Aggression (Dagstuhl Seminar 19302)
Deep Continual Learning (Dagstuhl Seminar 23122)
Managing Industrial Control Systems Security Risks for Cyber Insurance (Dagstuhl Seminar 21451)
Towards Climate-Friendly Internet Research (Dagstuhl Seminar 21272)
Analysis, Design, and Control of Predictable Interconnected Systems (Dagstuhl Seminar 19101)
Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091)
Coalgebraic Logics (Dagstuhl Seminar 12411)
Sparse Representations and Efficient Sensing of Data (Dagstuhl Seminar 11051)
Transparent Quantitative Research as a User Interface Problem (Dagstuhl Seminar 22392)
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491)
A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462)
Temporal Graphs: Structure, Algorithms, Applications (Dagstuhl Seminar 21171)
Symbolic Methods in Testing (Dagstuhl Seminar 13021)
Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051)
Collaboration and learning through live coding (Dagstuhl Seminar 13382)
Structure and Hardness in P (Dagstuhl Seminar 16451)
Learning in Multiobjective Optimization (Dagstuhl Seminar 12041)
Formal Methods for the Synthesis of Biomolecular Circuits (Dagstuhl Seminar 18082)
Foundations of Wireless Networking (Dagstuhl Seminar 17271)
Inpainting-Based Image Compression (Dagstuhl Seminar 16462)
Statistical and Probabilistic Methods in Algorithmic Data Analysis (Dagstuhl Seminar 24391)
Pattern Avoidance, Statistical Mechanics and Computational Complexity (Dagstuhl Seminar 23121)
Network Calculus (Dagstuhl Seminar 15112)
Software Defined Networking (Dagstuhl Seminar 12363)
Next-Generation Secure Distributed Computing (Dagstuhl Seminar 24362)
Interactive Visualization for Fostering Trust in AI (Dagstuhl Seminar 20382)
Future Internet (Dagstuhl Seminar 13131)
Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381)
Reflections on Pandemic Visualization (Dagstuhl Seminar 24091)
Shapes in Graph Data: Theory and Implementation (Dagstuhl Seminar 24102)
Engineering Multi-Agent Systems (Dagstuhl Seminar 12342)
Virtual Realities (Dagstuhl Seminar 13241)
The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 18231)
Quantum Cryptanalysis (Dagstuhl Seminar 21421)
Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062)
Algorithmic Cheminformatics (Dagstuhl Seminar 17452)
Cybersafety in Modern Online Social Networks (Dagstuhl Reports 17372)
Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 18331)
Computational Methods for Melody and Voice Processing in Music Recordings (Dagstuhl Seminar 19052)
Grand Challenges for Research on Privacy Documents (Dagstuhl Seminar 25021)
Integration of Expert Knowledge for Interpretable Models in Biomedical Data Analysis (Dagstuhl Seminar 16261)
Digital Palaeography: New Machines and Old Texts (Dagstuhl Seminar 14302)
Coding Theory for Inference, Learning and Optimization (Dagstuhl Seminar 18112)
Compute-First Networking (Dagstuhl Seminar 21243)
Data Structures for the Cloud and External Memory Data (Dagstuhl Seminar 19051)
Decision-Making Modeling and Solutions for Smart Semiconductor Manufacturing (Dagstuhl Seminar 20452)
Addressing Future Challenges of Telemedicine Applications (Dagstuhl Seminar 25031)
Technologies to Support Critical Thinking in an Age of Misinformation (Dagstuhl Seminar 22172)
Algebraic and Analytic Methods in Computational Complexity (Dagstuhl Seminar 24381)
Unambiguity in Automata Theory (Dagstuhl Seminar 21452)
Public-Key Cryptography (Dagstuhl Seminar 16371)
Symmetric Cryptography (Dagstuhl Seminar 24041)
Computational Proteomics (Dagstuhl Seminar 17421)
Machine Learning Augmented Algorithms for Combinatorial Optimization Problems (Dagstuhl Seminar 24441)
Automated Program Repair (Dagstuhl Seminar 17022)
Forensic Computing (Dagstuhl Seminar 11401)
Databases on Future Hardware (Dagstuhl Seminar 17101)
Inter-Vehicular Communication - Quo Vadis (Dagstuhl Seminar 13392)
Cross-Lingual Cross-Media Content Linking: Annotations and Joint Representations (Dagstuhl Seminar 15201)
Inter-Vehicular Communication - From Edge Support to Vulnerable Road Users II (Dagstuhl Seminar 22512)
Towards Accountable Systems (Dagstuhl Seminar 18181)
Big Graph Processing Systems (Dagstuhl Seminar 19491)
Tradeoffs in Reactive Systems Design (Dagstuhl Seminar 25091)
Secure Compilation (Dagstuhl Seminar 18201)
Algebraic Coding Theory for Networks, Storage, and Security (Dagstuhl Seminar 18511)
Global Measurements: Practice and Experience (Dagstuhl Seminar 16012)
Foundations of Secure Scaling (Dagstuhl Seminar 16342)
Consistency in Distributed Systems (Dagstuhl Seminar 13081)
Hardware Security (Dagstuhl Seminar 16202)
Classical-Quantum Synergies in the Theory and Practice of Quantum Error Correction (Dagstuhl Seminar 24212)
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 23441)
Computational Complexity of Discrete Problems (Dagstuhl Seminar 25111)
Challenges and Opportunities of Table Representation Learning (Dagstuhl Seminar 25182)
Computational Social Choice: Theory and Applications (Dagstuhl Seminar 15241)