| 2025 | 38 | Tools for Reachability Analysis of Stochastic Hybrid Systems | Wadern | 2025-12-14/19 |
| 2023 | 37 | Human Factors in Model-Driven Engineering | Wadern | 2023-11-19/24 |
| 2023 | 36 | Testing and Debugging of Data Analysis Workflows | Wadern | 2023-03-05/10 |
| 2019 | 35 | Algorithms for Big Data | Wadern | 2019-09-01/06 |
| 2019 | 34 | Explainable Software for Cyber-Physical Systems | Wadern | 2019-01-06/11 |
| 2018 | 33 | Software Engineering for Intelligent and Autonomous Systems SEfIAS 2018 | Wadern | 2018-08-19/24 |
| 2018 | 32 | Visualizing Systems and Software Performance VSSP 2018 | Wadern | 2018-07-08/13 |
| 2017 | 31 | Internet of Things Hackathon: From Research to Practice | Wadern | 2017-07-23/28 |
| 2016 | 30 | Software Performance Engineering in the DevOps World | Wadern | 2016-09-25/30 |
| 2016 | 29 | Aware Machine-to-Machine Communication | Wadern | 2016-08-28 to 2016-09-02 |
| 2016 | 28 | Informatik@Schule 2016 – Das Verhältnis von informatischer Bildung und „Digitaler Bildung“ | Wadern | 2016-02-21/24 |
| 2016 | | Machine Learning for Dynamic Software Analysis: Potentials and Limits - International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers | Dagstuhl Castle | |
| 2015 | 27 | Formal Evaluation of Critical Infrastructures | Wadern | 2015-12-06/09 |
| 2015 | 26 | Entertainment Computing and Serious Games | Wadern | 2015-07-05/10 |
| 2015 | 25 | Computational Imaging | Wadern | 2015-05-17/22 |
| 2015 | | Entertainment Computing and Serious Games - International GI-Dagstuhl Seminar 15283, Dagstuhl Castle, Germany, July 5-10, 2015, Revised Selected Papers | Dagstuhl Castle | |
| 2015 | | Evaluation in the Crowd. Crowdsourcing and Human-Centered Experiments - Dagstuhl Seminar 15481, Dagstuhl Castle, Germany, November 22-27, 2015, Revised Contributions | Dagstuhl Castle | |
| 2014 | 24 | Informatik@Schule – Agenda für informatische Bildung in der Schule | Wadern | 2014-12-07/10 |
| 2014 | 23 | Software Engineering for Self-Adaptive Systems | Wadern | 2014-10-19/24 |
| 2014 | 22 | Control Theory meets Software Engineering | Wadern | 2014-09-14/19 |
| 2014 | | Globalizing Domain-Specific Languages - International Dagstuhl Seminar Dagstuhl Castle, Germany, October 5-10, 2014 Revised Papers | Germany | |
| 2013 | | Multivariate Network Visualization - Dagstuhl Seminar #13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions | Dagstuhl Castle | |
| 2013 | | Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers | Dagstuhl Castle | |
| 2013 | | Virtual Realities, International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, Revised Selected Papers | Dagstuhl Castle | |
| 2012 | 21 | Multi-Core Software Performance Engineering | Wadern | 2012-05-28/31 |
| 2012 | 20 | Quality-of-Service Attributes in Service- and Cloud-based Systems: Specification, Modelling, Monitoring, Prediction, and | Wadern | 2012-05-20/25 |
| 2011 | | Outdoor and Large-Scale Real-World Scene Analysis - 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26 - July 1, 2011. Revised Selected Papers TFCV | Dagstuhl Castle | 2011-06-26 to 2011-07-01 |
| 2011 | | Efficient Algorithms for Global Optimization Methods in Computer Vision - International Dagstuhl Seminar, Dagstuhl Castle, Germany, November 20-25, 2011, Revised Selected Papers | Dagstuhl Castle | |
| 2010 | 19 | Data Exchange, Integration, and Streams | Wadern | 2010-11-07/12 |
| 2010 | | Algorithm Engineering: Bridging the Gap between Algorithm Theory and Practice [outcome of a Dagstuhl Seminar] | | |
| 2010 | | Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Algorithmic synthesis of reactive and discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010 | | |
| 2010 | | Software Engineering for Self-Adaptive Systems II - International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers | Dagstuhl Castle | |
| 2010 | | Video Processing and Computational Video - International Seminar, Dagstuhl Castle, Germany, October 10-15, 2010. Revised Papers | Dagstuhl Castle | |
| 2009 | 18 | Model-Driven Quality Prediction | Wadern | 2009-11-29 to 2009-12-02 |
| 2009 | | Similarity-Based Clustering, Recent Developments and Biomedical Applications [outcome of a Dagstuhl Seminar] | | |
| 2009 | | Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar] | | |
| 2008 | | International Workshop of the Initiative for the Evaluation of XML Retrieval INEX | Dagstuhl Castle | 2008-12-15/18 |
| 2008 | 17 | Modeling Techniques for Computer Network Simulations | Wadern | 2008-04-15/18 |
| 2008 | | Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar]. | | |
| 2008 | | Multiobjective Optimization, Interactive and Evolutionary Approaches [outcome of Dagstuhl seminars]. | | |
| 2008 | | Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers | Dagstuhl Castle | |
| 2008 | | Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers | Germany | |
| 2008 | | Statistical and Geometrical Approaches to Visual Motion Analysis, International Dagstuhl Seminar, Dagstuhl Castle, Germany, July 13-18, 2008. Revised Papers | Dagstuhl Castle | |
| 2008 | | The Evolution of Conceptual Modeling - From a Historical Perspective towards the Future of Conceptual Modeling [outcome of a Dagstuhl seminar held 2008]. | | |
| 2008 | | Virtual Realities - Dagstuhl Seminar 2008. | | |
| 2007 | | International Workshop of the Initiative for the Evaluation of XML Retrieval INEX | Dagstuhl Castle | 2007-12-17/19 |
| 2007 | 16 | Modelling Contest: Common Component Modelling Example | Wadern | 2007-07-31 to 2007-08-03 |
| 2007 | 15 | Software Development Methodologies for Mobile Applications | Wadern | 2007-02-11/14 |
| 2007 | | Algorithms for Sensor and Ad Hoc Networks, Advanced Lectures [result from a Dagstuhl seminar]. | | |
| 2007 | | Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers | Dagstuhl Castle | |
| 2007 | | The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007] | | |
| 2006 | | International Workshop of the Initiative for the Evaluation of XML Retrieval INEX | Dagstuhl Castle | 2006-12-17/20 |
| 2006 | | Proceedings of the New Security Paradigms Workshop 2006, Schloss Dagstuhl, Germany, September 19-22, 2006 NSPW | Schloss Dagstuhl – Leibniz Center for Informatics | 2006-09-19/22 |
| 2006 | 14 | Algorithm Engineering | Wadern | 2006-09-03/08 |
| 2006 | 13 | Human-Centered Visualization Environments | Wadern | 2006-03-05/08 |
| 2006 | | Cognitive Vision Systems, Sampling the Spectrum of Approaches [based on a Dagstuhl seminar] | | |
| 2006 | | Empirical Software Engineering Issues. Critical Assessment and Future Directions, International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers | Dagstuhl Castle | |
| 2006 | | Human Motion, Understanding, Modelling, Capture, and Animation [Dagstuhl Seminar, 11.06. - 16.06.2006]. | | |
| 2006 | | Human-Centered Visualization Environments, GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006, Revised Lectures | Dagstuhl Castle | |
| 2006 | | Negotiation, Auctions, and Market Engineering, International Seminar, Dagstuhl Castle, Germany, November 12-17, 2006, Revised Selected Papers | Dagstuhl Castle | |
| 2006 | | Towards Affordance-Based Robot Control - International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006. Revised Papers | Dagstuhl Castle | |
| 2005 | | International Workshop of the Initiative for the Evaluation of XML Retrieval INEX | Dagstuhl Castle | 2005-11-28/30 |
| 2005 | 12 | Algorithmen für Ad-Hoc und Sensornetze | Wadern | 2005-11-23/25 |
| 2005 | 11 | Verlässlichkeitsmetriken | Wadern | 2005-10-30 to 2005-11-01 |
| 2005 | | International Workshop on Principles and Practice of Semantic Web Reasoning PPSWR | Dagstuhl Castle | 2005-09-11/16 |
| 2005 | | Annotating, Extracting and Reasoning about Time and Events, International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers | Dagstuhl Castle | |
| 2005 | | Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30 - November 1, 2005] | | |
| 2005 | | Federation over the Web - International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005. Revised Selected Papers | Dagstuhl Castle | |
| 2005 | | Inconsistency Tolerance [result from a Dagstuhl seminar] | | |
| 2004 | | International Workshop of the Initiative for the Evaluation of XML Retrieval INEX | Dagstuhl Castle | 2004-12-06/08 |
| 2004 | | Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems ATMOS 2004, ATMOS | Ibiza | 2004-09-14 |
| 2004 | 10 | Game-theoretic Analyses of the Internet | Wadern | 2004-08-29 to 2004-09-03 |
| 2004 | | International Workshop of the EuroNGI Network of Excellence EuroNGI | Dagstuhl Castle | 2004-06-07/09 |
| 2004 | 9 | Netzwerkanalyse | Wadern | 2004-04-12/16 |
| 2004 | 8 | Model-based Testing of Reactive Systems | Wadern | 2004-01-12/15 |
| 2004 | | Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers | Dagstuhl Castle | |
| 2004 | | Future Generation Grids: Proceedings of the Workshop on Future Generation Grids, November 1-5, 2004, Dagstuhl, Germany | Schloss Dagstuhl – Leibniz Center for Informatics | |
| 2004 | | Informatics and Student Assessment: Concepts of Empirical Research and Standardisation of Measurement in the Area of Didactics of Informatics - Dagstuhl-Seminar of the German Informatics Society (GI), Schloss Dagstuhl, Germany, September 19-24, 2004 | Schloss Dagstuhl – Leibniz Center for Informatics | |
| 2004 | | Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets, International Workshop, Dagstuhl Castle, Germany, March 1-5, 2004, Revised Selected Papers | Dagstuhl Castle | |
| 2004 | | Local Pattern Detection, International Seminar, Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers | Dagstuhl Castle | |
| 2004 | | Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] | | |
| 2004 | | Network Analysis: Methodological Foundations [outcome of a Dagstuhl seminar, 13-16 April 2004] | | |
| 2003 | 7 | Performance of Mobile Systems | Wadern | 2003-11-09/12 |
| 2003 | | Algebra, Geometry, and Software Systems [outcome of a Dagstuhl seminar] | | |
| 2003 | | Data Visualization: The State of the Art | | |
| 2003 | | Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers | Dagstuhl Castle | |
| 2003 | | Embodied Artificial Intelligence, International Seminar, Dagstuhl Castle, Germany, July 7-11, 2003, Revised Papers | Dagstuhl Castle | |
| 2003 | | Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar] | | |
| 2003 | | Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers | Dagstuhl Castle | |
| 2003 | | Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers | Dagstuhl Castle | |
| 2003 | | Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers | Dagstuhl Castle | |
| 2003 | | Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential [outcome of a Dagstuhl seminar] | | |
| 2002 | | Proceedings of the First Workshop of the INitiative for the Evaluation of XML Retrieval (INEX), Schloss Dagstuhl, Germany, December 9-11, 2002 INEX | Schloss Dagstuhl – Leibniz Center for Informatics | 2002-12-09/11 |
| 2002 | | Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany IFIP2-1 | Schloss Dagstuhl – Leibniz Center for Informatics | 2002-07-11/12 |
| 2002 | | Mathematics of Program Construction MPC 2002, MPC | Schloss Dagstuhl – Leibniz Center for Informatics | 2002-07-08/10 |
| 2002 | | Geometry, Morphology, and Computational Imaging, 11th International Workshop on Theoretical Foundations of Computer Vision Dagstuhl Castle, Germany, April 7-12, 2002, Revised Papers TFCV | Schloss Dagstuhl – Leibniz Center for Informatics | 2002-04-07/12 |
| 2002 | 5 | Algorithms for Memory Hierarchies | Wadern | 2002-03-10/14 |
| 2002 | | Algorithms for Memory Hierarchies, Advanced Lectures [Dagstuhl Research Seminar, March 10-14, 2002] | | |
| 2002 | | Gene Regulations and Metabolism - Postgenomic Computational Approaches | | |
| 2002 | | Social Thinking - Software Practice | | |
| 2001 | 4 | Automaten, Logiken und unendliche Spiele | Wadern | 2001-02-19/23 |
| 2001 | | International Workshop on Semantics in Databases SDB, SiD | Dagstuhl Castle | 2001-01-07/12 |
| 2001 | | Advances in Plan-Based Control of Robotic Agents, International Seminar, Dagstuhl Castle, Germany, October 21-26, 2001, Revised Papers | Dagstuhl Castle | |
| 2001 | | Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001] | | |
| 2001 | | Computational Combinatorial Optimization, Optimal or Provably Near-Optimal Solutions [based on a Spring School, Schloß Dagstuhl, Germany, 15-19 May 2000] | Schloss Dagstuhl – Leibniz Center for Informatics | |
| 2001 | | Informatics - 10 Years Back. 10 Years Ahead. | | |
| 2001 | | Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings | Dagstuhl Castle | |
| 2001 | | Software Visualization, International Seminar Dagstuhl Castle, Germany, May 20-25, 2001, Revised Lectures | Germany | |
| 2000 | | International Conference on Integrated Formal Methods IFM 2000, IFM | Schloss Dagstuhl – Leibniz Center for Informatics | 2000-11-01/03 |
| 2000 | | Database Schema Evolution and Meta-Modeling, 9th International Workshop on Foundations of Models and Languages for Data and Objects, FoMLaDO/DEMM 2000, Dagstuhl Castle, Germany, September 18-21, 2000, Selected Papers FMLDO | Dagstuhl Castle | 2000-09-18/21 |
| 2000 | | Multi-Image Analysis, 10th International Workshop on Theoretical Foundations of Computer Vision Dagstuhl Castle, Germany, March 12-17, 2000, Revised Papers TFCV | Schloss Dagstuhl – Leibniz Center for Informatics | 2000-03-12/17 |
| 2000 | | Digital and Image Geometry, Advanced Lectures [based on a winter school held at Dagstuhl Castle, Germany in December 2000] | | |
| 2000 | | Experimental Algorithmics, From Algorithm Design to Robust and Efficient Software [Dagstuhl seminar, September 2000] | | |
| 2000 | | Performance Evaluation: Origins and Directions | | |
| 2000 | | Sensor Based Intelligent Robots, International Workshop, Dagstuhl Castle, Germany, October 15-20, 2000, Selected Revised Papers | Dagstuhl Castle | |
| 1999 | | 11th European Workshop on Knowledge Acquisition, Modeling, and Management EKAW 1999, EKAW | Wadern | 1999-05-26/29 |
| 1999 | 3 | Zeichnen von Graphen | Wadern | 1999-04-06/09 |
| 1999 | | Geometric Modelling, Dagstuhl, Germany, May 1999 GM | Schloss Dagstuhl – Leibniz Center for Informatics | 1999-01-01 |
| 1999 | | Drawing Graphs, Methods and Models (the book grow out of a Dagstuhl Seminar, April 1999). | | |
| 1999 | | State-of-the-Art in Content-Based Image and Video Retrieval [Dagstuhl Seminar, 5-10 December 1999] | | |
| 1999 | | Transactions and Database Dynamics, Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999, Selected Papers | Schloss Dagstuhl – Leibniz Center for Informatics | |
| 1999 | | Transactions and Database Dynamics, Proceedings of the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999 | Schloss Dagstuhl – Leibniz Center for Informatics | |
| 1998 | | European Workshop on Logics in Artificial Intelligence JELIA | Dagstuhl Castle | 1998-10-12/15 |
| 1998 | | Performance Characterization in Computer Vision [9. Theoretical Foundations of Computer Vision, TFCV, March 1998, Dagstuhl, Germany] TFCV | Schloss Dagstuhl – Leibniz Center for Informatics | 1998-01-01 |
| 1998 | | CAD Tools and Algorithms for Product Design [Dagstuhl Seminar, November 1998] | | |
| 1998 | | Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers | Dagstuhl Castle | |
| 1998 | | Sensor Based Intelligent Robots, International Workshop, Dagstuhl Castle, Germany, September 28 - October 2, 1998, Selected Papers | Dagstuhl Castle | |
| 1997 | 2 | Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung | Wadern | 1997-05-05/09 |
| 1997 | 1 | Beweisverifikation und Approximationsalgorithmen | Wadern | 1997-04-21/25 |
| 1997 | | Dagstuhl '97, Scientific Visualization, Dagstuhl, Germany, 9-13 June 1997 | Schloss Dagstuhl – Leibniz Center for Informatics | |
| 1997 | | Effiziente Methoden der geometrischen Modellierung und der wissenschaftlichen Visualisierung, Dagstuhl Seminar 1997 | | |
| 1997 | | Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997) | | |
| 1997 | | Temporal Databases: Research and Practice. (the book grow out of a Dagstuhl Seminar, June 23-27, 1997) | | |
| 1997 | | Tools and Techniques for Social Science Simulation [Dagstuhl Seminar, May 5-9, 1997] | | |
| 1996 | | Integrity in Databases - 6th International Workshop on Foundations of Models and Languages for Data and Objects, Schloss Dagstuhl, Germany, September 16-20, 1996, Proceedings FMLDO | Schloss Dagstuhl – Leibniz Center for Informatics | 1996-09-16/20 |
| 1996 | | Advances in Computer Vision, [8th Theoretical Foundations of Computer Vision, TFCV, March 1996, Dagstuhl, Germany]. TFCV | Schloss Dagstuhl – Leibniz Center for Informatics | 1996-01-01 |
| 1996 | | Geometric Modelling, Dagstuhl, Germany, 1996 GM | Schloss Dagstuhl – Leibniz Center for Informatics | 1996-01-01 |
| 1996 | | Intelligent Robots: Sensing, Modeling and Planning [Dagstuhl Workshop, September 1-6, 1996] | | |
| 1996 | | Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996 | | |
| 1996 | | Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996 | | |
| 1996 | | Online Algorithms, The State of the Art (the book grow out of a Dagstuhl Seminar, June 1996) | | |
| 1996 | | Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers | Dagstuhl Castle | |
| 1995 | | CAD Systems Development: Tools and Methods [Dagstuhl Seminar, 1995] | | |
| 1995 | | Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). | | |
| 1995 | 2 | High-Speed Networking for Multimedia Applications [2nd Int. Workshop on Architecture and Protocols for High Performance Networks, Dagstuhl, June 19-23, 1995] | | |
| 1995 | | Integration von Umweltdaten, 3. Workshop 1995, 24.-26. April 1995, Dagstuhl | | |
| 1995 | | Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995) | | |
| 1995 | | Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995) | | |
| 1995 | | Social Science Microsimulation [Dagstuhl Seminar, May, 1995] | | |
| 1994 | | Theoretical Foundations of Computer Vision, 7th TFCV, March 1994, Dagstuhl, Germany TFCV | Schloss Dagstuhl – Leibniz Center for Informatics | 1994-01-01 |
| 1994 | | Code Generation for Embedded Processors [Dagstuhl Workshop, Dagstuhl, Germany, August 31 - September 2, 1994] | Schloss Dagstuhl – Leibniz Center for Informatics | |
| 1994 | | Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994) | | |
| 1994 | | Integration von Umweltdaten, 2. Workshop 1994, 2.-4. Februar 1994, Dagstuhl | | |
| 1994 | | Modelling and Planning for Sensor Based Intelligent Robot Systems [Dagstuhl Workshop, October 24-28, 1994] | | |
| 1994 | | Scientific Visualization, Overviews, Methodologies, and Techniques, Dagstuhl, Germany, May 1994 | Schloss Dagstuhl – Leibniz Center for Informatics | |
| 1994 | | Theory and Practice in Distributed Systems, International Workshop, Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers | Dagstuhl Castle | |
| 1994 | | Visualisierung von Umweltdaten, 4. Workshop, 30. Januar - 2. Februar 1994, Dagstuhl | | |
| 1993 | | State of the Practice in Process Technology, Proceedings of the Eighth International Software Process Workshop (ISPW '93), March 2-5, 1993, Wadern, Schloss Dagstuhl, Germany ISPW | Schloss Dagstuhl – Leibniz Center for Informatics | 1993-03-02/05 |
| 1993 | | Geometric Modelling, Dagstuhl, Germany, 1993 GM | Schloss Dagstuhl – Leibniz Center for Informatics | 1993-01-01 |
| 1993 | 1 | Architecture and Protocols for High-Speed Networks [1st Int. Workshop, Dagstuhl, Germany, August 30 - September 3, 1993] | Schloss Dagstuhl – Leibniz Center for Informatics | |
| 1993 | | Frauen in Mathematik und Informatik, Tagungsbericht, Schloß Dagstuhl, 1.6.-4.6.1993 | | |
| 1993 | | Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings | Dagstuhl Castle | |
| 1993 | | Graphics and Robotics, Dagstuhl Castle, Germany, April 19-22, 1993 | Dagstuhl Castle | |
| 1993 | | Informatik: Grundlagen - Amwendungen - Perspektiven [Forum "Perspektiven der Informatik", Dagstuhl, November 1993] | | |
| 1992 | | Geometric Modelling, Dagstuhl, Germany, 1992 GM | Schloss Dagstuhl – Leibniz Center for Informatics | 1992-01-01 |
| 1992 | | Analogical and Inductive Inference, International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992, Proceedings | Dagstuhl Castle | |
| 1992 | | Complexity Theory: Current Research, Dagstuhl Workshop, February 2-8, 1992 | | |
| 1992 | | Experimental Software Engineering Issues: Critical Assessment and Future Directions, International Workshop Dagstuhl Castle, Germany, September 14-18, 1992, Proceedings | Germany | |
| 1992 | | Informatik und Philosophie [Dagstuhl, 21.-25. September 1992] | | |
| 1991 | | Proceedings of the International Workshop on Terminological Logics 1991, Dagstuhl, Germany DLOG | Schloss Dagstuhl – Leibniz Center for Informatics | 1991-01-01 |
| 1991 | | Code Generation - Concepts, Tools, Techniques, Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991 | Schloss Dagstuhl – Leibniz Center for Informatics | |
| 1991 | | Focus on Scientific Visualization, Dagstuhl, Germany, August 26-39, 1991 | Schloss Dagstuhl – Leibniz Center for Informatics | |
| 1991 | | Operating Systems of the 90s and Beyond, International Workshop, Dagstuhl Castle, Germany, July 8-12, 1991, Proceedings | Dagstuhl Castle | |
| 1991 | | Visualisierung von Umweltdaten, 2. Workshop, 26.-28. November 1991, Dagstuhl | | |
| 1990 | | Entwurf und Betrieb verteilter Systeme, Fachtagung des Sonderforschungsbereiche 124 und 182, Dagstuhl, 19.-21. September 1990, Proceedings | | |
| 1990 | | Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings | Dagstuhl Castle | |