Seminare 2001:
7. – 12. Januar 2001, Dagstuhl Seminar 01021Semantics in DatabasesL. Bertossi (Santiago, Chile), G.O.H. Katona (Budapest), K.-D. Schewe (Massey Univ., NZ), B. Thalheim (BTU Cottbus) | Top |
21. – 26. Januar 2001, Dagstuhl Seminar 01041Interoperability of Reengineering ToolsJ. Ebert (Koblenz-Landau), K. Kontogiannis (of Waterloo), J. Mylopoulos (Toronto) | Top |
28. Januar bis 2. Februar 2001, Dagstuhl Seminar 01051Computer Aided Design and Test - BDDs versus SATB. Becker (Freiburg), M. Fujita (Sunyvale), C. Meinel (Trier), F. Somenzi (Boulder, CO) | Top |
18. – 23. Februar 2001, Dagstuhl Seminar 01081Applications of Kleene AlgebraR. Backhouse (Nottingham), D. Kozen (Cornell Univ., Ithaca), B. Möller (Augsburg) | Top |
25. Februar bis 2. März 2001, Dagstuhl Seminar 01091Algorithmic Techniques in PhysicsM. Jünger (Köln), G. Reinelt (Heidelberg), H. Rieger (Saarbrücken), G. Rinaldi (Roma) | Top |
4. – 9. März 2001, Dagstuhl Seminar 01101DeductionU. Furbach (Koblenz), H. Ganzinger (MPI Saarbrücken), R. Hasegawa (Fukuoka), D. Kapur (Albuquerque) | Top |
11. – 16. März 2001, Dagstuhl Seminar 01111Methodology of Evaluation in Computational Medical ImagingK. W. Bowyer (Tampa, FL), M. H. Loew (Washington, DC), H. S. Stiehl (Hamburg), M. A. Viergever (Utrecht) | Top |
18. – 23. März 2001, Dagstuhl Seminar 01121Computational GeometryR. Klein (Bonn), G. Rote (FU Berlin) | Top |
1. – 6. April 2001, Dagstuhl Seminar 01141Semantic Foundations of Proof-searchD. Pym (QMW, London), E. Ritter (Birmingham), T. Streicher (Darmstadt) | Top |
16. – 20. April 2001, Dagstuhl Seminar 01161Product Family DevelopmentG. Böckle (Siemens, München), P. C. Clements (CMU, Pittsburgh), H. Obbink (Philips, Eindhoven), K. Pohl (Essen), D. Rombach (Kaiserslautern) | Top |
6. – 11. Mai 2001, Dagstuhl Seminar 01191Computational Cartography and Spatial ModellingM. van Kreveld (Utrecht), M. Worboys (Keele), R. Weibel (Zürich) | Top |
13. – 18. Mai 2001, Dagstuhl Seminar 01201Algorithms and Number TheoryJ. Buhler (Berkeley), H. Niederreiter (Singapore), M.E. Pohst (TU Berlin) | Top |
20. – 25. Mai 2001, Dagstuhl Seminar 01211Software VisualizationS. Diehl (Saarbrücken), P. Eades (Sydney), J. Stasko (Atlanta) | Top |
27. Mai bis 1. Juni 2001, Dagstuhl Seminar 01221Can Formal Methods Cope with Software-Intensive Systems?S. Jähnichen (FhG FIRST, Berlin), J. Kramer (London), M. Lemoine (Toulouse), M. Wirsing (München) | Top |
3. – 8. Juni 2001, Dagstuhl Seminar 01231Design and Analysis of Randomized and Approximation AlgorithmsM. Dyer (Leeds), M. Jerrum (Edinburgh), M. Karpinski (Bonn) | Top |
10. – 15. Juni 2001, Dagstuhl Seminar 01241Management of MetacomputersF. Berman (UCSD, La Jolla), A. Reinefeld (ZIB, Berlin-Dahlem), U. Schwiegelshohn (Dortmund) | Top |
10. – 15. Juni 2001, Dagstuhl Seminar 01242Stochastic Methods in RenderingM. Sbert (Girona), W. Purgathofer (Wien), P. Shirley (Salt Lake City) | Top |
17. – 22. Juni 2001, Dagstuhl Seminar 01251Graph Decompositions and Algorithmic ApplicationsA. Brandstädt (Rostock), J. P. Spinrad (Nashville) | Top |
24. – 29. Juni 2001, Dagstuhl Seminar 01261Information and Simulation Systems for the Analysis of Gene Regulation and Metabolic PathwaysR. Hofestädt (Magdeburg), N. Kolchanov (Novosibirsk), J. Reinitz (New York) | Top |
1. – 6. Juli 2001, Dagstuhl Seminar 01271Link Analysis and VisualizationU. Brandes (Konstanz), D. Krackhardt (CMU Pittsburgh), R. Tamassia (Brown Providence), D. Wagner (Konstanz) | Top |
22. – 27. Juli 2001, Dagstuhl Seminar 01301Inference Principles and Model SelectionJ. Buhmann (Bonn), B. Schölkopf (Barnhill Technologies, New York) | Top |
29. Juli bis 3. August 2001, Dagstuhl Seminar 01311Parameterized ComplexityR. Downey (Wellington), M. Fellows (Victoria), R. Niedermeier (Tübingen), P. Rossmanith (TU München) | Top |
19. – 24. August 2001, Dagstuhl Seminar 01341Dependent Type Theory meets Practical ProgrammingG. Barthe (INRIA, Sophia Antipolis), P. Dybjer (Chalmers, Göteborg), P. Thiemann (Freiburg) | Top |
2. – 7. September 2001, Dagstuhl Seminar 01361Foundations of Semistructured DataA. Mendelzon (Toronto), T. Schwentick (Marburg), D. Suciu (Univ. of Washington) | Top |
9. – 14. September 2001, Dagstuhl Seminar 01371Ubiquitous ComputingG. Borriello (Washington), H.-W. Gellersen (TecO, Karlsruhe), F. Mattern (ETH, Zürich) | Top |
16. – 21. September 2001, Dagstuhl Seminar 01381Algorithmic Aspects of Large and Complex NetworksM. Adler (Amherst, MA), F. Meyer auf der Heide (Paderborn), D. Wagner (Konstanz) | Top |
23. – 28. September 2001, Dagstuhl Seminar 01391Specification and Analysis of Secure Cryptographic ProtocolsD. Basin (Freiburg), G. Denker (SRI, Menlo Park), G. Lowe (Oxford), J. Millen (SRI Menlo Park) | Top |
7. – 12. Oktober 2001, Dagstuhl Seminar 01411Proof Theory in Computer ScienceR. Kahle (Tübingen), P. Schröder-Heister (Tübingen), R. Stärk (Zürich) | Top |
14. – 19. Oktober 2001, Dagstuhl Seminar 01421Integration of Algebra and Geometry Software SystemsM. Joswig (TU Berlin), N. Takayama (Kobe University) | Top |
21. – 26. Oktober 2001, Dagstuhl Seminar 01431Plan-based Control of Robotic AgentsM. Beetz (TU München), J. Hertzberg (FhG AIS, Bonn), M. Ghallab (Toulouse), M. Pollack (Ann Arbor) | Top |
28. Oktober bis 2. November 2001, Dagstuhl Seminar 01441Coordination and Fusion in Multimodal InteractionH. Bunt (Tilburg, The Netherlands), M. Maybury (MITRE, Bedford), W. Wahlster (Saarbrücken) | Top |
4. – 9. November 2001, Dagstuhl Seminar 01451Exploration of Large State SpacesT. Dean (Providence), B. Nebel (Freiburg), M. Vardi (Huston) | Top |
11. – 16. November 2001, Dagstuhl Seminar 01461Computability and Complexity in AnalysisV. Brattka (Hagen), P. Hertling (Hagen), M. Yasugi (Kyoto Sangyo Univ., Japan), N. Zhong (Batavia OH) | Top |
2. – 7. Dezember 2001, Dagstuhl Seminar 01491Synchronous LanguagesW.P. de Roever (Univ. Kiel), N. Halbwachs (Verimag Grenoble), G. Berry (École des Mines, Sophia Antipolis), K. Winkelmann (Siemens München) | Top |