Robuta

https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/26022 Dagstuhl Seminar 26022: Program Optimization with E-Graphs dagstuhl seminarprogram optimizationgraphs https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/25471 Dagstuhl-Seminar 25471: Online Algorithms beyond Competitive Analysis dagstuhl seminaronlinealgorithmsbeyondcompetitive https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/09461 Dagstuhl Seminar 09461: Algorithms and Applications for Next Generation SAT Solvers dagstuhl seminarapplications fornext generationalgorithms https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/9341 Dagstuhl Seminar 9341: Computational Kinematics dagstuhl seminarcomputationalkinematics https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/10171 Dagstuhl Seminar 10171: Equilibrium Computation dagstuhl seminarequilibriumcomputation https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details?highlight=22451&custom=1&semno=22451 Dagstuhl-Seminar 22451: Principles of Contract Languages dagstuhl seminarprinciplescontractlanguages https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/26211 Dagstuhl-Seminar 26211: Emerging Technologies for Performance and Dependability Assessment dagstuhl seminaremerging technologiesfor performancedependabilityassessment https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/26191 Dagstuhl Seminar 26191: Large Language Models for Evolutionary Computation large language modelsdagstuhl seminarevolutionarycomputation https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/23412 Dagstuhl Seminar 23412: Formal Methods for Correct Persistent Programming dagstuhl seminarformal methodscorrectpersistentprogramming https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/04061 Dagstuhl Seminar 04061: Real Computation and Complexity dagstuhl seminarrealcomputationcomplexity https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/26042 Dagstuhl Seminar 26042: Trustworthy System Architectures for the Age of Custom Silicon dagstuhl seminartrustworthy system https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17222 Dagstuhl Seminar 17222: Robust Performance in Database Query Processing dagstuhl seminardatabase queryrobustperformanceprocessing https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/17272 Dagstuhl Seminar 17272: Citizen Science: Design and Engagement dagstuhl seminarcitizen sciencedesignengagement https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/08221 Dagstuhl Seminar 08221: Geometric Modeling dagstuhl seminargeometricmodeling https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/08111 Dagstuhl Seminar 08111: Ranked XML Querying dagstuhl seminarrankedxmlquerying https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/08051 Dagstuhl Seminar 08051: Theory of Evolutionary Algorithms dagstuhl seminartheoryevolutionaryalgorithms https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/15371 Dagstuhl Seminar 15371: Quantum Cryptanalysis dagstuhl seminarquantumcryptanalysis https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/24271 Dagstuhl Seminar 24271: Theory of Randomized Optimization Heuristics dagstuhl seminartheoryrandomizedoptimizationheuristics https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/16231 Dagstuhl Seminar 16231: Immersive Analytics dagstuhl seminarimmersiveanalytics https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/21491 Dagstuhl-Seminar 21491: Static Methods for Correctness of Model and Program Transformations dagstuhl seminarstatic methods https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/25382 Dagstuhl Seminar 25382: Quantum Error Correction Meets ZX-Calculus quantum error correctiondagstuhl seminarmeetszxcalculus https://www.percona.com/blog/dagstuhl-seminar-on-database-workload-management/ Dagstuhl Seminar on Database Workload Management - Percona Mar 25, 2026 - A few weeks ago Bradley Kuszmaul and I attended the Dagstuhl Seminar on Database Workload Management. The Dagstuhl computer science research center is... dagstuhl seminarworkload managementdatabasepercona https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/00051 Dagstuhl Seminar 00051: Digital Media in Computer Science Teaching at University Level dagstuhl seminardigital media https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/22181 Dagstuhl Seminar 22181: Computational Metabolomics: From Spectra to Knowledge dagstuhl seminarcomputationalmetabolomicsspectraknowledge https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/22222 Dagstuhl Seminar 22222: Radical Innovation and Design for Connected and Automated Vehicles innovation and designdagstuhl seminarradical https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/19082 Dagstuhl-Seminar 19082: AI for the Social Good dagstuhl seminarai forthe socialgood https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/26081 Dagstuhl Seminar 26081: Reduced and Mixed Precision Computing for Science and Engineering... dagstuhl seminarfor sciencereduced https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/26092 Dagstuhl Seminar 26092: Conveying the Essence via Abstraction: From Art to AI dagstuhl seminarthe essence https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/21462 Dagstuhl Seminar 21462: Foundations of Persistent Programming dagstuhl seminarfoundations ofpersistentprogramming https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/22051 Dagstuhl Seminar 22051: Finite and Algorithmic Model Theory dagstuhl seminarfinitealgorithmicmodeltheory https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/02221 Dagstuhl-Seminar 02221: Mathematical Structures for Computable Topology and Geometry dagstuhl seminarmathematicalstructurescomputabletopology https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/21441 Dagstuhl Seminar 21441: Adaptive Resource Management for HPC Systems dagstuhl seminarresource managementadaptivehpcsystems https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/11201 Dagstuhl Seminar 11201: Constraint Programming meets Machine Learning and Data Mining dagstuhl seminarconstraint programmingmachine learning https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/08191 Dagstuhl Seminar 08191: Graph Drawing with Applications to Bioinformatics and Social Sciences dagstuhl seminar https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/21471 Dagstuhl Seminar 21471: Geometric Modeling: Interoperability and New Challenges dagstuhl seminargeometricmodelinginteroperabilitynew https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/14271 Dagstuhl Seminar 14271: Scripting Languages and Frameworks: Analysis and Verification languages and frameworksdagstuhl seminarscriptinganalysisverification https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17291 Dagstuhl Seminar 17291: Resource Bound Analysis dagstuhl seminarresourceboundanalysis https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/9719 Dagstuhl Seminar 9719: Social Science Microsimulation: Tools for Modeling, Parameter Optimization,... tools for modelingdagstuhl seminarsocial science https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/07281 Dagstuhl Seminar 07281: Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs dagstuhl seminar https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/20372 Dagstuhl Seminar 20372: Beyond Adaptation: Understanding Distributional Changes dagstuhl seminarbeyondadaptationunderstandingchanges https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/15371 Dagstuhl-Seminar 15371: Quantum Cryptanalysis dagstuhl seminarquantumcryptanalysis https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/07371 Dagstuhl Seminar 07371: Mobile Interfaces Meet Cognitive Technologies dagstuhl seminarmobileinterfacesmeetcognitive https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/11051 Dagstuhl Seminar 11051: Sparse Representations and Efficient Sensing of Data dagstuhl seminarsparserepresentationsefficientsensing https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/99421 Dagstuhl Seminar 99421: Efficient Language Processing with High-level Grammar Formalisms dagstuhl seminarlanguage processinghigh levelefficient https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/13362 Dagstuhl Seminar 13362: Cloud-based Software Crowdsourcing cloud based softwaredagstuhl seminarcrowdsourcing https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/18461 Dagstuhl Seminar 18461: Blockchain Security at Scale dagstuhl seminarblockchain securityscale https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/25392 Dagstuhl-Seminar 25392: Specification Engineering: Foundations for the Future of Software... foundations for the futuredagstuhl seminarspecificationengineering https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/06341 Dagstuhl-Seminar 06341: Computational Structures for Modelling Space, Time and Causality dagstuhl seminarspace timecomputationalstructures https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/26302 Dagstuhl Seminar 26302: AI Governance: Supporting Compliance Across Phases and Roles dagstuhl seminarai governance https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/08021 Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures dagstuhl seminarnumericalvalidationcurrenthardware https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/09051 Dagstuhl Seminar 09051: Knowledge representation for intelligent music processing dagstuhl seminarknowledge representationintelligentmusicprocessing https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/22101 Dagstuhl Seminar 22101: Tensor Computations: Applications and Optimization dagstuhl seminartensorcomputationsapplicationsoptimization https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17382 Dagstuhl Seminar 17382: Approaches and Applications of Inductive Programming dagstuhl seminarapproachesapplicationsinductiveprogramming https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/26292 Dagstuhl Seminar 26292: Analysis of Algorithms Beyond the Worst Case analysis of algorithmsdagstuhl seminarbeyond theworstcase https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17101 Dagstuhl Seminar 17101: Databases on Future Hardware dagstuhl seminardatabasesfuturehardware https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17472 Dagstuhl Seminar 17472: Addressing the Computational Challenges of Personalized Medicine dagstuhl seminaraddressingcomputationalchallengespersonalized https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/14292 Dagstuhl-Seminar 14292: Network Attack Detection and Defense: Securing Industrial Control Systems... dagstuhl seminarnetwork attack https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/9527 Dagstuhl Seminar 9527: `Average-Case'-Analysis of Algorithms dagstuhl seminarcase analysisaveragealgorithms https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/17022 Dagstuhl Seminar 17022: Automated Program Repair dagstuhl seminarautomatedprogramrepair https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/19191 Dagstuhl Seminar 19191: Software Evolution in Time and Space: Unifying Version and Variability... time and spacedagstuhl seminarsoftware evolution https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/14131 Dagstuhl Seminar 14131: Computational Models of Cultural Behavior for Human-Agent Interaction dagstuhl seminarcomputational models https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/08361 Dagstuhl Seminar 08361: Programming Multi-Agent Systems dagstuhl seminarmulti agentprogrammingsystems https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/10191 Dagstuhl Seminar 10191: Program Composition and Optimization: Autotuning, Scheduling,... dagstuhl seminarprogramcompositionoptimizationautotuning https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/21071 Dagstuhl-Seminar 21071: Scalable Data Structures dagstuhl seminarscalabledatastructures https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/13361 Dagstuhl-Seminar 13361: Crowdsourcing: From Theory to Practice and Long-Term Perspectives from theory to practicedagstuhl seminar https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/24461 Dagstuhl Seminar 24461: Rethinking the Role of Bayesianism in the Age of Modern AI the role ofdagstuhl seminar https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17441 Dagstuhl Seminar 17441: Big Stream Processing Systems dagstuhl seminarstream processingbigsystems https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/14172 Dagstuhl Seminar 14172: Unifying Product and Software Configuration product and softwaredagstuhl seminarunifyingconfiguration https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/06071 Dagstuhl-Seminar 06071: Architectures and Algorithms for Petascale Computing dagstuhl seminararchitecturesalgorithmscomputing https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/22351 Dagstuhl Seminar 22351: Interactive Visualization for Fostering Trust in ML dagstuhl seminarinteractive visualizationfostering trustml https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17511 Dagstuhl Seminar 17511: The Critical Internet Infrastructure Revisited dagstuhl seminarinternet infrastructurecriticalrevisited https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/26062 Dagstuhl Seminar 26062: Connected Space: Challenges and Opportunities in Satellite Computing and... challenges and opportunitiesdagstuhl seminarconnectedspace https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/20081 Dagstuhl Seminar 20081: Scheduling dagstuhl seminarscheduling https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/14381 Dagstuhl Seminar 14381: Neural-Symbolic Learning and Reasoning dagstuhl seminarneuralsymboliclearningreasoning https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/24472 Dagstuhl Seminar 24472: Regular Expressions: Matching and Indexing dagstuhl seminarregular expressionsmatchingindexing https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/13472 Dagstuhl Seminar 13472: Global Measurement Framework dagstuhl seminarglobalmeasurementframework https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/11191 Dagstuhl-Seminar 11191: Graph Drawing with Algorithm Engineering Methods dagstuhl seminaralgorithm engineeringgraphdrawingmethods https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17192 Dagstuhl Seminar 17192: Human-Like Neural-Symbolic Computing dagstuhl seminarhuman likeneuralsymboliccomputing https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/9430 Dagstuhl Seminar 9430: Principles of Natural Language Generation dagstuhl seminarnatural languageprinciplesgeneration https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/18052 Dagstuhl Seminar 18052: Genetic Improvement of Software dagstuhl seminargenetic improvementsoftware https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17462 Dagstuhl Seminar 17462: A Shared Challenge in Behavioural Specification dagstuhl seminarsharedchallengebehaviouralspecification https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17161 Dagstuhl Seminar 17161: Ambient Notification Environments dagstuhl seminarambientnotificationenvironments https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/11201 Dagstuhl Seminar 11201: Constraint Programming meets Machine Learning and Data Mining dagstuhl seminarconstraint programmingmachine learning https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/07302 Dagstuhl Seminar 07302: Autonomic Management of Networks and Services dagstuhl seminarautonomicmanagementnetworksservices https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/9341 Dagstuhl-Seminar 9341: Computational Kinematics dagstuhl seminarcomputationalkinematics https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/25442 Dagstuhl Seminar 25442: Augmenting Human Creativity with AI dagstuhl seminarhuman creativityaugmentingai https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/08201 Dagstuhl Seminar 08201: Design and Analysis of Randomized and Approximation Algorithms design and analysisdagstuhl seminarrandomizedapproximationalgorithms https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/18471 Dagstuhl Seminar 18471: Next Generation Domain Specific Conceptual Modeling: Principles and Methods dagstuhl seminarnext generationdomain specific https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/22202 Dagstuhl Seminar 22202: Anticipatory Human-Machine Interaction dagstuhl seminarhuman machineinteraction https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/24371 Dagstuhl Seminar 24371: Extended Reality Accessibility dagstuhl seminarextended realityaccessibility https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/98391 Dagstuhl Seminar 98391: Modelling and Planning for Sensor-Based Intelligent Robot Systems dagstuhl seminar https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/14042 Dagstuhl Seminar 14042: Do-it-yourself Networking: an Interdisciplinary Approach do it yourselfdagstuhl seminarnetworkinginterdisciplinaryapproach https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/22281 Dagstuhl Seminar 22281: Security of Machine Learning dagstuhl seminarsecuritymachinelearning https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/19341 Dagstuhl Seminar 19341: Algorithms and Complexity for Continuous Problems algorithms and complexitydagstuhl seminarcontinuousproblems https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/99341 Dagstuhl Seminar 99341: Linear Logic and Applications dagstuhl seminarlinearlogicapplications https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17191 Dagstuhl Seminar 17191: Theory of Randomized Optimization Heuristics dagstuhl seminartheoryrandomizedoptimizationheuristics https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/08361 Dagstuhl Seminar 08361: Programming Multi-Agent Systems dagstuhl seminarmulti agentprogrammingsystems https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/25421 Dagstuhl Seminar 25421: Sound Static Program Analysis in Modern Software Engineering static program analysisdagstuhl seminarmodern softwaresound https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/25202 Dagstuhl Seminar 25202: Generative Models for 3D Vision dagstuhl seminargenerative modelsvision https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17112 Dagstuhl Seminar 17112: Using Networks to Teach About Networks dagstuhl seminarusingnetworksteach