Robuta

https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/26022 Dagstuhl Seminar 26022: Program Optimization with E-Graphs dagstuhl seminarprogramoptimizationgraphs https://groups.inf.ed.ac.uk/nesc-research/node/944.html Principles of Provenance (Dagstuhl Seminar 12091) | Edinburgh Data-Intensive Research dagstuhl seminarprinciplesprovenanceedinburghdata https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/99421 Dagstuhl Seminar 99421: Efficient Language Processing with High-level Grammar Formalisms dagstuhl seminarhigh levelefficientlanguage https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.5.40 The Future of Refactoring (Dagstuhl Seminar 14211) the futuredagstuhl seminarrefactoring https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.295 Semantics in Databases (Dagstuhl Seminar 01021) dagstuhl seminarsemanticsdatabases https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.10.166 Data-Driven Combinatorial Optimisation (Dagstuhl Seminar 22431) data drivendagstuhl seminaroptimisation https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/9728 Dagstuhl Seminar 9728: "Average-Case"-Analysis of Algorithms dagstuhl seminarcase analysisaveragealgorithms 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/05181 Dagstuhl Seminar 05181: Mobile Computing and Ambient Intelligence: The Challenge of Multimedia dagstuhl seminarmobile computing https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-6271 Dagstuhl Seminar Proceedings, Volume 6271 dagstuhl seminarproceedingsvolume https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/14091 Dagstuhl Seminar 14091: Data Structures and Advanced Models of Computation on Big Data dagstuhl seminardata structures https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17451 Dagstuhl Seminar 17451: New Challenges in Parallelism dagstuhl seminarnew challengesparallelism https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.102 Environment Modelling and Motion Planning for Autonomous Robots (Dagstuhl Seminar 9443) planning forautonomous robotsdagstuhl seminarenvironmentmodelling https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/24281 Dagstuhl Seminar 24281: Dynamic Traffic Models in Transportation Science dagstuhl seminardynamictrafficmodelstransportation https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/08201 Dagstuhl Seminar 08201: Design and Analysis of Randomized and Approximation Algorithms dagstuhl seminardesignanalysisapproximationalgorithms https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/22051 Dagstuhl Seminar 22051: Finite and Algorithmic Model Theory dagstuhl seminarfinitealgorithmicmodeltheory https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.238 High Level Parallel Programming: Applicability, Analysis and Performance (Dagstuhl Seminar 99171) high levelparallel programmingdagstuhl seminarapplicability https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-7051 Dagstuhl Seminar Proceedings, Volume 7051 dagstuhl seminarproceedingsvolume https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/08291 Dagstuhl Seminar 08291: Statistical and Geometrical Approaches to Visual Motion Analysis. 14th... dagstuhl seminar https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.5.1 Tree Transducers and Formal Methods (Dagstuhl Seminar 13192) formal methodsdagstuhl seminartreetransducers https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/25061 Dagstuhl Seminar 25061: Logic and Neural Networks dagstuhl seminarlogicneuralnetworks https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.11.127 Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482) dagstuhl seminarsocialconceptsselforganising https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.233 Computational Geometry (Dagstuhl Seminar 99102) computational geometrydagstuhl seminar https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.8.74 Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352) floating pointdagstuhl seminaranalysissynthesisprograms https://eprints.whiterose.ac.uk/id/eprint/130125/ Report from Dagstuhl Seminar 16381: SAT and Interactions - White Rose Research Online dagstuhl seminar https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9161 Dagstuhl Seminar Proceedings, Volume 9161 dagstuhl seminarproceedingsvolume https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/05081 Dagstuhl Seminar 05081: Foundations of Global Computing dagstuhl seminarfoundationsglobalcomputing https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/24461 Dagstuhl Seminar 24461: Rethinking the Role of Bayesianism in the Age of Modern AI dagstuhl seminarrole of https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/16481 Dagstuhl Seminar 16481: New Directions for Learning with Kernels and Gaussian Processes dagstuhl seminarnew directionsfor learning https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.11.62 The Mobile Revolution - Machine Intelligence for Autonomous Vehicles (Dagstuhl Seminar 15462) the mobilemachine intelligenceautonomous vehiclesdagstuhl seminarrevolution https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9.29 Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362) cyber physical systemsdagstuhl seminarrobustness https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.149 On-line Algorithms (Dagstuhl Seminar 9626) on linedagstuhl seminaralgorithms https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.156 Expressiveness in Concurrency (Dagstuhl Seminar 9638) dagstuhl seminarconcurrency https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.27 Algorithms of Computeralgebra (Dagstuhl Seminar 9151) dagstuhl seminaralgorithms https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.10.127 Data Physicalization (Dagstuhl Seminar 18441) dagstuhl seminardata https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9192 Dagstuhl Seminar Proceedings, Volume 9192 dagstuhl seminarproceedingsvolume https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/10341 Dagstuhl Seminar 10341: Insider Threats: Strategies for Prevention, Mitigation, and Response dagstuhl seminarinsider threats https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/17481 Dagstuhl-Seminar 17481: Reliable Computation and Complexity on the Reals dagstuhl seminaron thereliablecomputationcomplexity https://publica.fraunhofer.de/entities/event/45eec987-990a-49c0-9307-6416c00c68f3 International Dagstuhl Seminar "Virtual Realities" 2013 dagstuhl seminarvirtual realitiesinternational https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17401 Dagstuhl Seminar 17401: Quantum Cryptanalysis dagstuhl seminarquantumcryptanalysis https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.9.85 Algebra in Computational Complexity (Dagstuhl Seminar 14391) computational complexitydagstuhl seminaralgebra https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/07291 Dagstuhl Seminar 07291: Scientific Visualization dagstuhl seminarscientificvisualization https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.45 Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071) dagstuhl seminardependencelogictheoryapplications https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/22202 Dagstuhl Seminar 22202: Anticipatory Human-Machine Interaction dagstuhl seminarhumanmachineinteraction https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.2.183 Algorithmic Foundations of Programmable Matter (Dagstuhl Seminar 23091) programmable matterdagstuhl seminaralgorithmicfoundations https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/13151 Dagstuhl Seminar 13151: Drawing Graphs and Maps with Curves graphs and mapsdagstuhl seminardrawingcurves https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/08031 Dagstuhl Seminar 08031: Software Engineering for Self-Adaptive Systems dagstuhl seminarsoftware engineeringfor selfadaptivesystems https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.116 Computing with Faulty Inputs (Dagstuhl Seminar 9522) dagstuhl seminarcomputinginputs https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/9509 Dagstuhl Seminar 9509: High Integrity Programmable Electronic Systems dagstuhl seminarhighintegrityprogrammableelectronic https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.8.27 The Critical Internet Infrastructure (Dagstuhl Seminar 13322) internet infrastructuredagstuhl seminarcritical https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.4.1 Symmetric Cryptography (Dagstuhl Seminar 22141) symmetric cryptographydagstuhl seminar https://www.dagstuhl.de/en/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/9725 Dagstuhl Seminar 9725: High-Performance Networks for Multimedia Applications dagstuhl seminarhigh performancenetworksmultimediaapplications https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/05021 Dagstuhl Seminar 05021: Mathematics, Algorithms, Proofs dagstuhl seminarmathematicsalgorithmsproofs https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/08081 Dagstuhl Seminar 08081: Data Structures dagstuhl seminardatastructures https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.226 Adaptation and Evolution in Embedded Information Systems (Dagstuhl Seminar 98441) information systemsdagstuhl seminaradaptationevolutionembedded https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17461 Dagstuhl Seminar 17461: Connecting Visualization and Data Management Research dagstuhl seminardata managementconnectingvisualizationresearch https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/12491 Dagstuhl Seminar 12491: Interpreting Observed Action dagstuhl seminarinterpretingobservedaction https://www.dagstuhl.de/en/seminars/news/2023/video-trailer-for-dagstuhl-seminar-23042-on-youtube Video Trailer for Dagstuhl Seminar 23042 "Quality of Sustainable Experience" Video Trailer for Dagstuhl Seminar 23042 dagstuhl seminarvideotrailerqualitysustainable https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-8181 Dagstuhl Seminar Proceedings, Volume 8181 dagstuhl seminarproceedingsvolume https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-6021 Dagstuhl Seminar Proceedings, Volume 6021 dagstuhl seminarproceedingsvolume https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/14031 Dagstuhl Seminar 14031: Randomized Timed and Hybrid Models for Critical Infrastructures dagstuhl seminarhybrid modelstimed https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-10501 Dagstuhl Seminar Proceedings, Volume 10501 dagstuhl seminarproceedingsvolume https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.6.28 Complexity of Symbolic and Numerical Problems (Dagstuhl Seminar 15242) dagstuhl seminarcomplexitysymbolicnumericalproblems https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/23181 Dagstuhl Seminar 23181: Empirical Evaluation of Secure Development Processes dagstuhl seminarempirical evaluationsecure developmentprocesses https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.1.224 Dark Silicon: From Embedded to HPC Systems (Dagstuhl Seminar 16052) hpc systemsdagstuhl seminardarksiliconembedded https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/21342 Dagstuhl-Seminar 21342: Identifying Key Enablers in Edge Intelligence dagstuhl seminaridentifyingkeyenablersedge https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/07311 Dagstuhl Seminar 07311: Frontiers of Electronic Voting dagstuhl seminarfrontierselectronicvoting https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.117 Methods for Semantics and Specification (Dagstuhl Seminar 9523) dagstuhl seminarmethodssemanticsspecification https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-6501 Dagstuhl Seminar Proceedings, Volume 6501 dagstuhl seminarproceedingsvolume https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.1 Socio-Technical Security Metrics (Dagstuhl Seminar 14491) technical securitydagstuhl seminarsociometrics https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/26172 Dagstuhl Seminar 26172: Exertion and Fatigue in Body-Based Interactive Systems dagstuhl seminarexertion https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-4211 Dagstuhl Seminar Proceedings, Volume 4211 dagstuhl seminarproceedingsvolume https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/23091 Dagstuhl-Seminar 23091: Algorithmic Foundations of Programmable Matter dagstuhl seminaralgorithmicfoundationsprogrammablematter https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/00071 Dagstuhl Seminar 00071: Theory of Evolutionary Algorithms dagstuhl seminartheory ofevolutionaryalgorithms https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17221 Dagstuhl Seminar 17221: Geometric Modelling, Interoperability and New Challenges dagstuhl seminargeometricmodellinginteroperabilitynew https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17332 Dagstuhl Seminar 17332: Scalable Set Visualizations dagstuhl seminarscalablesetvisualizations https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.126 Towards Accountable Systems (Dagstuhl Seminar 18181) dagstuhl seminartowardsaccountablesystems https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.5.96 Generative Models for 3D Vision (Dagstuhl Seminar 25202) generative modelsdagstuhl seminarvision https://www.dagstuhl.de/de/seminars/seminar-calendar/seminar-details/9326 Dagstuhl-Seminar 9326: Geometric Modelling dagstuhl seminargeometricmodelling https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.188 Parallel and Distributed Algorithms (Dagstuhl Seminar 9737) dagstuhl seminarparalleldistributedalgorithms https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-9282 Dagstuhl Seminar Proceedings, Volume 9282 dagstuhl seminarproceedingsvolume https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/24261 Dagstuhl Seminar 24261: Computational Creativity for Game Development dagstuhl seminarcomputationalcreativitygamedevelopment https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.2.28 Modeling and Analysis of Semiconductor Supply Chains (Dagstuhl Seminar 16062) modeling and analysissupply chainsdagstuhl seminarsemiconductor https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/14172 Dagstuhl Seminar 14172: Unifying Product and Software Configuration dagstuhl seminarproductsoftwareconfiguration https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.20 Blockchains, Smart Contracts and Future Applications (Dagstuhl Seminar 18152) smart contractsfuture applicationsdagstuhl seminarblockchains https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.24 Accountable Software Systems (Dagstuhl Seminar 23411) software systemsdagstuhl seminaraccountable https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/26022 Dagstuhl Seminar 26022: Program Optimization with E-Graphs dagstuhl seminarprogramoptimizationgraphs https://groups.inf.ed.ac.uk/nesc-research/node/944.html Principles of Provenance (Dagstuhl Seminar 12091) | Edinburgh Data-Intensive Research dagstuhl seminarprinciplesprovenanceedinburghdata https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/99421 Dagstuhl Seminar 99421: Efficient Language Processing with High-level Grammar Formalisms dagstuhl seminarhigh levelefficientlanguage https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.5.40 The Future of Refactoring (Dagstuhl Seminar 14211) the futuredagstuhl seminarrefactoring https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.295 Semantics in Databases (Dagstuhl Seminar 01021) dagstuhl seminarsemanticsdatabases https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.10.166 Data-Driven Combinatorial Optimisation (Dagstuhl Seminar 22431) data drivendagstuhl seminaroptimisation https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/9728 Dagstuhl Seminar 9728: "Average-Case"-Analysis of Algorithms dagstuhl seminarcase analysisaveragealgorithms 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/05181 Dagstuhl Seminar 05181: Mobile Computing and Ambient Intelligence: The Challenge of Multimedia dagstuhl seminarmobile computing https://drops.dagstuhl.de/entities/volume/DagSemProc-volume-6271 Dagstuhl Seminar Proceedings, Volume 6271 dagstuhl seminarproceedingsvolume https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/14091 Dagstuhl Seminar 14091: Data Structures and Advanced Models of Computation on Big Data dagstuhl seminardata structures https://www.dagstuhl.de/seminars/seminar-calendar/seminar-details/17451 Dagstuhl Seminar 17451: New Challenges in Parallelism dagstuhl seminarnew challengesparallelism https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.102 Environment Modelling and Motion Planning for Autonomous Robots (Dagstuhl Seminar 9443) planning forautonomous robotsdagstuhl seminarenvironmentmodelling