yusuke1997/dblp-id-title huggingface dataset:
Circuits, Logic and Games (Dagstuhl Seminar 15401)
Computational Approaches to Strategy and Tactics in Sports (Dagstuhl Seminar 24081)
Theory and Applications of Graph Searching Problems (GRASTA 2011) (Dagstuhl Seminar 11071)
Combinatorics and Algorithmics of Strings (Dagstuhl Seminar 14111)
Performance Portability in Extreme Scale Computing (Dagstuhl Seminar 17431)
Symmetric Cryptography (Dagstuhl Seminar 18021)
MAD: Microarchitectural Attacks and Defenses (Dagstuhl Seminar 23481)
Sparse modelling and multi-exponential analysis (Dagstuhl Seminar 15251)
Multi-disciplinary approaches to reasoning with imperfect information and knowledge - a synthesis and a roadmap of challenges (Dagstuhl Seminar 15221)
Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441)
Computational Metabolomics: From Spectra to Knowledge (Dagstuhl Seminar 22181)
Control of Networked Cyber-Physical Systems (Dagstuhl Seminar 19222)
Epistemic Planning (Dagstuhl Seminar 17231)
Citizen Science: Design and Engagement (Dagstuhl Seminar 17272)
Data Structures for Modern Memory and Storage Hierarchies (Dagstuhl Seminar 21283)
Secure Routing for the Internet (Dagstuhl Seminar 18242)
Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022)
Using Networks to Teach About Networks (Dagstuhl Seminar 17112)
Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data (Dagstuhl Seminar 11501)
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
Emerging Hardware Techniques and EDA Methodologies for Neuromorphic Computing (Dagstuhl Seminar 19152)
Representation, Analysis and Visualization of Moving Objects (Dagstuhl Seminar 12512)
Visualization of Biomedical Data - Shaping the Future and Building Bridges (Dagstuhl Seminar 23451)
Computational Aspects of Fabrication (Dagstuhl Seminar 14361)
Algorithms and Scheduling Techniques for Exascale Systems (Dagstuhl Seminar 13381)
AI for the Social Good (Dagstuhl Seminar 19082)
Automated Planning and Model Checking (Dagstuhl Seminar 14482)
Connecting Visualization and Data Management Research (Dagstuhl Seminar 17461)
The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23471)
Computational Analysis and Simulation of the Human Voice (Dagstuhl Seminar 24242)
Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271)
Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation (Dagstuhl Seminar 21402)
Foundations of WebAssembly (Dagstuhl Seminar 23101)
Computational Metabolomics (Dagstuhl Seminar 15492)
Modern Cryptography and Security: An Inter-Community Dialogue (Dagstuhl Seminar 16051)
Secure Computing in the Cloud (Dagstuhl Seminar 11491)
Randomization in Parameterized Complexity (Dagstuhl Seminar 17041)
Physical-Cyber-Social Computing (Dagstuhl Reports 13402)
Universals of Linguistic Idiosyncrasy in Multilingual Computational Linguistics (Dagstuhl Seminar 23191)
Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401)
Network Calculus (Dagstuhl Seminar 24141)
Quality of Experience: From User Perception to Instrumental Metrics (Dagstuhl Seminar 12181)
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)
Human-Centric Development of Software Tools (Dagstuhl Seminar 15222)
The Future of Games in Society (Dagstuhl Perspectives Workshop 25102)
Robots Learning from Experiences (Dagstuhl Seminar 14081)
Computational Geometry (Dagstuhl Seminar 23221)
Solving Problems on Graphs: From Structure to Algorithms (Dagstuhl Seminar 25041)
Planning and Robotics (Dagstuhl Seminar 17031)
Data Reduction and Problem Kernels (Dagstuhl Seminar 12241)
Symmetric Cryptography (Dagstuhl Seminar 16021)
Quantum Cryptanalysis (Dagstuhl Seminar 11381)
Fair Division: Algorithms, Solution Concepts, and Applications (Dagstuhl Seminar 24401)
Network Latency Control in Data Centres (Dagstuhl Seminar 16281)
Challenges and Opportunities of Democracy in the Digital Society (Dagstuhl Seminar 22361)
Neural-Symbolic Learning and Reasoning (Dagstuhl Seminar 14381)
Secure Routing for Future Communication Networks (Dagstuhl Seminar 15102)
Decentralized Systems for Privacy Preservation (Dagstuhl Seminar 13062)
Human-Centered Approaches for Provenance in Automated Data Science (Dagstuhl Seminar 23372)
Tensor Computations: Applications and Optimization (Dagstuhl Seminar 20111)
Graph Modification Problems (Dagstuhl Seminar 14071)
Feature Interactions: The Next Generation (Dagstuhl Seminar 14281)
Sparsity in Algorithms, Combinatorics and Logic (Dagstuhl Seminar 21391)
Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101)
Visualization and the Humanities: Towards a Shared Research Agenda (Dagstuhl Seminar 23381)
Scalable Set Visualizations (Dagstuhl Seminar 17332)
Computer Science Methods for Effective and Sustainable Simulation Studies (Dagstuhl Seminar 22401)
Autonomous Agents on the Web (Dagstuhl Seminar 21072)
Putting Data on the Map (Dagstuhl Seminar 12261)
Network Visualization in the Humanities (Dagstuhl Seminar 18482)
Software Certification: Methods and Tools (Dagstuhl Seminar 13051)
Computational Proteomics (Dagstuhl Seminar 23301)
Proxemics in Human-Computer Interaction (Dagstuhl Seminar 13452)
Electronic Markets and Auctions (Dagstuhl Seminar 13461)
Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171)
Fresh Approaches to Business Process Modeling (Dagstuhl Seminar 16191)
Multidisciplinary Approaches to Multivalued Data: Modeling, Visualization, Analysis (Dagstuhl Seminar 16142)
Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041)
Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371)
Web Application Security (Dagstuhl Seminar 18321)
Programming with "Big Code" (Dagstuhl Seminar 15472)
Resource Bound Analysis (Dagstuhl Seminar 17291)
Beyond-Planar Graphs: Models, Structures and Geometric Representations (Dagstuhl Seminar 24062)
Robust Query Processing (Dagstuhl Seminar 12321)
Ambient Notification Environments (Dagstuhl Seminar 17161)
Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)
Verifying Reliability (Dagstuhl Seminar 12341)
Multi-Level Graph Representation for Big Data Arising in Science Mapping (Dagstuhl Seminar 21152)
Theory of Evolutionary Algorithms (Dagstuhl Seminar 13271)
Preference Learning (Dagstuhl Seminar 14101)
Logics for Dependence and Independence (Dagstuhl Seminar 19031)
Topology, Computation and Data Analysis (Dagstuhl Seminar 17292)
Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492)
Resilience in Exascale Computing (Dagstuhl Seminar 14402)
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)
Proof Complexity (Dagstuhl Seminar 18051)
Normative Multi-Agent Systems (Dagstuhl Seminar 15131)
Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441)
Information-centric Networking and Security (Dagstuhl Seminar 16251)
Coding Theory (Dagstuhl Seminar 13351)
Information Visualization, Visual Data Mining and Machine Learning (Dagstuhl Seminar 12081)
Explainable AI for Sequential Decision Making (Dagstuhl Seminar 24372)
Generalization by People and Machines (Dagstuhl Seminar 24192)
Visual Analytics for Sets over Time and Space (Dagstuhl Seminar 19192)
AI for Social Good (Dagstuhl Seminar 24082)
Visualizing Data on Non-Flat, Non-Rectangular Displays (Dagstuhl Seminar 25082)
Digital Scholarship and Open Science in Psychology and the Behavioral Sciences (Dagstuhl Perpectives Workshop 15302)
Algorithmic Methods for Optimization in Public Transport (Dagstuhl Seminar 16171)
Bridging Information Visualization with Machine Learning (Dagstuhl Seminar 15101)
Qualification of Formal Methods Tools (Dagstuhl Seminar 15182)
Artificial and Computational Intelligence in Games: AI-Driven Game Design (Dagstuhl Seminar 17471)
Trustworthiness and Responsibility in AI - Causality, Learning, and Verification (Dagstuhl Seminar 24121)
Spoken Language Interaction with Virtual Agents and Robots (SLIVAR): Towards Effective and Ethical Interaction (Dagstuhl Seminar 20021)
Distributed Cloud Computing (Dagstuhl Seminar 15072)
Assessing ICT Security Risks in Socio-Technical Systems (Dagstuhl Seminar 16461)
Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482)
Data Ecosystems: Sovereign Data Exchange among Organizations (Dagstuhl Seminar 19391)
Privacy and Security in Smart Energy Grids (Dagstuhl Seminar 11511)
Computational Models of Cultural Behavior for Human-Agent Interaction (Dagstuhl Seminar 14131)
Algorithmic Problems in Group Theory (Dagstuhl Seminar 19131)
Body-Centric Computing (Dagstuhl Reports 17392)
Media Forensics and the Challenge of Big Data (Dagstuhl Seminar 23021)
Encouraging Reproducibility in Scientific Research of the Internet (Dagstuhl Seminar 18412)
Crowdsourcing: From Theory to Practice and Long-Term Perspectives (Dagstuhl Seminar 13361)
Holistic Graph-Processing Systems: Enabling Real-World Scale and Societal Impact (Dagstuhl Seminar 25171)
Mobility Data Science (Dagstuhl Seminar 22021)
Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462)
Visual Analytics of Multilayer Networks Across Disciplines (Dagstuhl Seminar 19061)
Machine Learning for Science: Bridging Data-Driven and Mechanistic Modelling (Dagstuhl Seminar 22382)
Challenges and Opportunities of User-Level File Systems for HPC (Dagstuhl Seminar 17202)
Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar 14481)
Robust Performance in Database Query Processing (Dagstuhl Seminar 17222)
Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)
Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211)
Software Protection Decision Support and Evaluation Methodologies (Dagstuhl Seminar 19331)
Loop Optimization (Dagstuhl Seminar 18111)
Applications of Topology to the Analysis of 1-Dimensional Objects (Dagstuhl Seminar 17072)
Dynamic Graph Algorithms (Dagstuhl Seminar 22461)
Network Function Virtualization in Software Defined Infrastructures (Dagstuhl Seminar 17032)
SE4ML - Software Engineering for AI-ML-based Systems (Dagstuhl Seminar 20091)
Network Attack Detection and Defense Early Warning Systems - Challenges and Perspectives (Dagstuhl Seminar 12061)
Human in the (Process) Mines (Dagstuhl Seminar 23271)
Approximate Systems (Dagstuhl Seminar 21302)
Integrated Deduction (Dagstuhl Seminar 21371)
Normative Multi-Agent Systems (Dagstuhl Seminar 12111)
Quantum Software Engineering (Dagstuhl Seminar 24512)
Scheduling (Dagstuhl Seminar 16081)
Adaptive and Scalable Data Structures (Dagstuhl Seminar 25191)
Verifiable Elections and the Public (Dagstuhl Seminar 11281)
Inter-Vehicular Communication - From Edge Support to Vulnerable Road Users (Dagstuhl Seminar 21262)
Computational Audio Analysis (Dagstuhl Seminar 13451)
Scientific Visualization (Dagstuhl Seminar 11231)
Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 13421)
Artificial Immune Systems (Dagstuhl Seminar 11172)
Quantum Cryptanalysis (Dagstuhl Seminar 13371)
Computational Models of Human-Automated Vehicle Interaction (Dagstuhl Seminar 22102)
Counting and Sampling: Algorithms and Complexity (Dagstuhl Seminar 22482)
Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)
Regular Transformations (Dagstuhl Seminar 23202)
Visualization Empowerment: How to Teach and Learn Data Visualization (Dagstuhl Seminar 22261)
Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis (Dagstuhl Seminar 18361)
Smart Buildings and Smart Grids (Dagstuhl Seminar 15091)
Computational Geometry (Dagstuhl Seminar 13101)
Normative Multi-Agent Systems (Dagstuhl Seminar 18171)
Extended Reality Accessibility (Dagstuhl Seminar 24371)
Computation in Low-Dimensional Geometry and Topology (Dagstuhl Seminar 19352)
Graph Algorithms: Distributed Meets Dynamic (Dagstuhl Seminar 24471)
Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272)
Unleashing Operational Process Mining (Dagstuhl Seminar 13481)
Symmetric Cryptography (Dagstuhl Seminar 14021)
Foundations of Persistent Programming (Dagstuhl Seminar 21462)
Blockchain Technology for Collaborative Information Systems (Dagstuhl Seminar 18332)
Fair Division (Dagstuhl Seminar 16232)
Deep Learning for RNA Regulation and Multidimensional Transcriptomics (Dagstuhl Seminar 24491)
Design and Synthesis from Components (Dagstuhl Seminar 14232)
Computation and Reconfiguration in Low-Dimensional Topological Spaces (Dagstuhl Seminar 22062)
Network Attack Detection and Defense - AI-Powered Threats and Responses (Dagstuhl Seminar 23431)
The Futures of Reactive Synthesis (Dagstuhl Seminar 23391)
Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)
Parameterized Complexity in Graph Drawing (Dagstuhl Seminar 21293)
Modeling and Simulation of Sport Games, Sport Movements, and Adaptations to Training (Dagstuhl Seminar 15382)
Adaptive Resource Management for HPC Systems (Dagstuhl Seminar 21441)
Models@run.time (Dagstuhl Seminar 11481)
Discipline Convergence in Networked Systems (Dagstuhl Seminar 18261)
Computational Creativity for Game Development (Dagstuhl Seminar 24261)
Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352)
Computational Counting (Dagstuhl Seminar 13031)
Self-Repairing Programs (Dagstuhl Seminar 11062)
Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 16271)
Computational Geometry (Dagstuhl Seminar 19181)
Multi-agent systems and their role in future energy grids (Dagstuhl Seminar 14181)
Topology, Computation and Data Analysis (Dagstuhl Seminar 19212)
Categories for Automata and Language Theory (Dagstuhl Seminar 25141)
Inter-Vehicular Communication Towards Cooperative Driving (Dagstuhl Seminar 18202)
Cognitive Approaches for the Semantic Web (Dagstuhl Seminar 12221)
Resource-Efficient Machine Learning (Dagstuhl Seminar 24311)
Astrographics: Interactive Data-Driven Journeys through Space (Dagstuhl Seminar 19262)
Analysis of Algorithms Beyond the Worst Case (Dagstuhl Seminar 14372)
Behavioural Metrics and Quantitative Logics (Dagstuhl Seminar 24432)
Mechanisms of Ongoing Development in Cognitive Robotics (Dagstuhl Seminar 13072)
Deep Learning and Knowledge Integration for Music Audio Analysis (Dagstuhl Seminar 22082)
Present and Future of Formal Argumentation (Dagstuhl Perpectives Workshop 15362)
Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111)
Automated Programming and Program Repair (Dagstuhl Seminar 24431)
Inclusive Data Visualization (Dagstuhl Seminar 23252)
Civilian Crisis Response Models (Dagstuhl Seminar 13041)
Algorithms and Complexity in Phylogenetics (Dagstuhl Seminar 19443)
From Big Data Theory to Big Data Practice (Dagstuhl Seminar 23071)
Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131)
Foundations for a New Perspective of Understanding Programming (Dagstuhl Seminar 22402)
Graph Polynomials: Towards a Comparative Theory (Dagstuhl Seminar 16241)
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192)
Learning in the context of very high dimensional data (Dagstuhl Seminar 11341)
Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471)
A Game of Shadows: Effective Mastery Learning in the Age of Ubiquitous AI (Dagstuhl Seminar 24272)
Equilibrium Computation (Dagstuhl Seminar 14342)
Data-Driven Storytelling (Dagstuhl Seminar 16061)
Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)
Space and Artificial Intelligence (Dagstuhl Seminar 23461)
Data Mining, Networks and Dynamics (Dagstuhl Seminar 11451)
Personalized Multiobjective Optimization: An Analytics Perspective (Dagstuhl Seminar 18031)
Parameterized Approximation: Algorithms and Hardness (Dagstuhl Seminar 23291)
Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191)
Planning and Operations Research (Dagstuhl Seminar 18071)
Towards a Multidisciplinary Vision for Culturally Inclusive Generative AI (Dagstuhl Seminar 25022)
SAT and Interactions (Dagstuhl Seminar 20061)
3D Morphable Models and Beyond (Dagstuhl Seminar 22121)
Foundations of Data Management (Dagstuhl Perspectives Workshop 16151)
Automotive User Interfaces in the Age of Automation (Dagstuhl Seminar 16262)
Logic and Neural Networks (Dagstuhl Seminar 25061)
Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492)
Machine Learning in Sports (Dagstuhl Seminar 21411)
Dark Silicon: From Embedded to HPC Systems (Dagstuhl Seminar 16052)
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)
Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381)
Genomics, Pattern Avoidance, and Statistical Mechanics (Dagstuhl Seminar 18451)
Big Stream Processing Systems (Dagstuhl Seminar 17441)
Computational Geometry of Earth System Analysis (Dagstuhl Seminar 23342)
Quantitative Security Analysis (Dagstuhl Seminar 12481)
New Tools in Parameterized Complexity: Paths, Cuts, and Decomposition (Dagstuhl Seminar 24411)
Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281)
Designing the Human-Machine Symbiosis (Dagstuhl Seminar 23212)
Theory and Applications of Hashing (Dagstuhl Seminar 17181)
Machine Learning with Interdependent and Non-identically Distributed Data (Dagstuhl Seminar 15152)
Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing (Dagstuhl Perspectives Workshop 14022)
Approximation Algorithms for Stochastic Optimization (Dagstuhl Seminar 25132)
3D Morphable Models (Dagstuhl Seminar 19102)
Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511)
Logics for Dependence and Independence (Dagstuhl Seminar 15261)
Pointer Analysis (Dagstuhl Seminar 13162)
Limitations of convex programming: lower bounds on extended formulations and factorization ranks (Dagstuhl Seminar 15082)
Exponential Analysis: Theoretical Progress and Technological Innovation (Dagstuhl Seminar 22221)
Visual Text Analytics (Dagstuhl Seminar 22191)
Distributed Computing with Permissioned Blockchains and Databases (Dagstuhl Seminar 19261)
From Characters to Understanding Natural Language (C2NLU): Robust End-to-End Deep Learning for NLP (Dagstuhl Seminar 17042)
Natural Language Argumentation: Mining, Processing, and Reasoning over Textual Arguments (Dagstuhl Seminar 16161)
Recent Advancements in Tractable Probabilistic Inference (Dagstuhl Seminar 22161)
The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 25211)
Edge-AI: Identifying Key Enablers in Edge Intelligence (Dagstuhl Seminar 23432)
Scalability in Multiobjective Optimization (Dagstuhl Seminar 20031)
A Human-Computer Interaction Perspective to Drive Change towards Sustainable Future (Dagstuhl Perspectives Workshop 23092)
The Message in the Shadow: noise or knowledge? (Dagstuhl Seminar 15192)
Cloud-based Software Crowdsourcing (Dagstuhl Seminar 13362)
Learning from the Past: Implications for the Future Internet and its Management? (Dagstuhl Seminar 11042)
Principles of Contract Languages (Dagstuhl Seminar 22451)
Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071)
Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 23091)
Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171)
Power-Bounded HPC Performance Optimization (Dagstuhl Perspectives Workshop 15342)
Conversational Search (Dagstuhl Seminar 19461)
Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361)
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201)
Disruptive Memory Technologies (Dagstuhl Seminar 25151)
Algorithmic Cheminformatics (Dagstuhl Seminar 14452)
Digital Evidence and Forensic Readiness (Dagstuhl Seminar 14092)
Shape Analysis: Euclidean, Discrete and Algebraic Geometric Methods (Dagstuhl Seminar 18422)
Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332)
Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201)
Applied and Combinatorial Topology (Dagstuhl Seminar 24092)
Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431)
Debating Technologies (Dagstuhl Seminar 15512)
Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411)
The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492)
Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341)
Beyond-Planar Graphs: Combinatorics, Models and Algorithms (Dagstuhl Seminar 19092)
Algebraic Methods in Computational Complexity (Dagstuhl Seminar 18391)
User-Generated Content in Social Media (Dagstuhl Seminar 17301)
Interpreting Observed Action (Dagstuhl Seminar 12491)
Computer Science in High Performance Sport - Applications and Implications for Professional Coaching (Dagstuhl Seminar 13272)
Security of Decentralized Financial Technologies (Dagstuhl Seminar 22421)
Data Warehousing: from Occasional OLAP to Real-time Business Intelligence (Dagstuhl Seminar 11361)
Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352)
Developmental Machine Learning: From Human Learning to Machines and Back (Dagstuhl Seminar 22422)
Challenges in Benchmarking Optimization Heuristics (Dagstuhl Seminar 23251)
Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141)
Serverless Computing (Dagstuhl Seminar 21201)
Software Architecture and Machine Learning (Dagstuhl Seminar 23302)
Quantum Complexity: Theory and Application (Dagstuhl Seminar 21261)
Descriptive Set Theory and Computable Topology (Dagstuhl Seminar 21461)
Foundations of distributed data management (Dagstuhl Seminar 11421)
Computational Metabolomics: From Cheminformatics to Machine Learning (Dagstuhl Seminar 20051)
Interactive Visualization for Fostering Trust in ML (Dagstuhl Seminar 22351)
Functoriality in Geometric Data (Dagstuhl Seminar 17021)
Multicore Enablement for Embedded and Cyber Physical Systems (Dagstuhl Seminar 13052)
Cognitive Robotics (Dagstuhl Seminar 22391)
Biological Data Visualization (Dagstuhl Seminar 12372)
Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 23351)
Analysis of Security APIs (Dagstuhl Seminar 12482)
Information-centric networking - Ready for the real world? (Dagstuhl Seminar 12361)
In Situ Visualization for Computational Science (Dagstuhl Seminar 18271)
Roadmap for Responsible Robotics (Dagstuhl Seminar 23371)
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)
Computation and Incentives in Social Choice (Dagstuhl Seminar 12101)
Malware Analysis: From Large-Scale Data Triage to Targeted Attack Recognition (Dagstuhl Seminar 17281)
Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162)
Spatial reference in the Semantic Web and in Robotics (Dagstuhl Seminar 14142)
Computational Complexity of Discrete Problems (Dagstuhl Seminar 21121)
Algorithms and Scheduling Techniques to Manage Resilience and Power Consumption in Distributed Systems (Dagstuhl Seminar 15281)
Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412)
Understanding I/O Behavior in Scientific and Data-Intensive Computing (Dagstuhl Seminar 21332)
Probabilistic Numerical Methods - From Theory to Implementation (Dagstuhl Seminar 21432)
Quantum Programming Languages (Dagstuhl Seminar 18381)
Task and Situation-Aware Evaluation of Speech and Speech Synthesis (Dagstuhl Seminar 25032)
Computational Challenges in RNA-Based Gene Regulation: Protein-RNA Recognition, Regulation and Prediction (Dagstuhl Seminar 17252)
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041)
Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442)
Data Series Management (Dagstuhl Seminar 19282)
Vision for Autonomous Vehicles and Probes (Dagstuhl Seminar 15461)
Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 24271)
Rethinking the Role of Bayesianism in the Age of Modern AI (Dagstuhl Seminar 24461)