07. – 12. Januar 2001, Dagstuhl-Seminar 01021Semantics in DatabasesLeopoldo Bertossi (Carleton University – Ottawa, CA), Gyula O.H. Katona (Alfréd Rényi Institute of Mathematics – Budapest, HU), Klaus-Dieter Schewe (Massey University, NZ), Bernhard Thalheim (Universität Kiel, DE) | Top |
21. – 26. Januar 2001, Dagstuhl-Seminar 01041Interoperability of Reengineering ToolsJürgen Ebert (Universität Koblenz-Landau, DE), Kostas Kontogiannis (University of Waterloo, CA), John Mylopoulos (University of Toronto, CA) | Top |
28. Januar – 02. Februar 2001, Dagstuhl-Seminar 01051Computer Aided Design and Test - BDDs versus SATBernd Becker (Universität Freiburg, DE), Masahiro Fujita (University of Tokyo, JP), Christoph Meinel (Universität Trier, DE), Fabio Somenzi (University of Colorado – Boulder, US) | Top |
18. – 23. Februar 2001, Dagstuhl-Seminar 01081Applications of Kleene AlgebraRoland C. Backhouse (University of Nottingham, GB), Dexter Kozen (Cornell University, US), Bernhard Möller (Universität Augsburg, DE) | Top |
19. – 23. Februar 2001, GI-Dagstuhl-Seminar 01082Automaten, Logiken und unendliche SpieleErich Grädel (RWTH Aachen, DE), Wolfgang Thomas (RWTH Aachen, DE), Thomas Wilke (Universität Kiel, DE) | Top |
25. Februar – 02. März 2001, Dagstuhl-Seminar 01091Algorithmic Techniques in PhysicsMichael Jünger (Universität Köln, DE), Gerhard Reinelt (Universität Heidelberg, DE), Heiko Rieger (Universität des Saarlandes, DE), Giovanni Rinaldi (IASI-CNR – Roma, IT) | Top |
04. – 09. März 2001, Dagstuhl-Seminar 01101DeductionUlrich Furbach (Universität Koblenz-Landau, DE), Harald Ganzinger (MPI-SWS – Saarbrücken, DE), Ryuzo Hasegawa (Kyushu University – Fukuoka, JP), Deepak Kapur (University of New Mexico – Albuquerque, US) | Top |
11. – 16. März 2001, Dagstuhl-Seminar 01111Methodology of Evaluation in Computational Medical ImagingKevin W. Bowyer (University of South Florida, US), Murray H. Loew (George Washington University, US), H. Siegfried Stiehl (Universität Hamburg, DE), Max Viergever (Utrecht University, NL) | Top |
18. – 23. März 2001, Dagstuhl-Seminar 01121Computational GeometryRolf Klein (Universität Bonn, DE), Günter Rote (FU Berlin, DE) | Top |
01. – 06. April 2001, Dagstuhl-Seminar 01141Semantic Foundations of Proof-searchDavid J. Pym (University of Bath, GB), Eike Ritter (University of Birmingham, GB), Thomas Streicher (TU Darmstadt, DE) | Top |
16. – 20. April 2001, Dagstuhl-Seminar 01161Product Family DevelopmentGünter Böckle (Siemens AG – München, DE), Paul C. Clements (Carnegie Mellon University – Pittsburgh, US), Henk Obbink (Philips Research – Eindhoven, NL), Klaus Pohl (Universität Duisburg – Essen, DE), H. Dieter Rombach (Fraunhofer ITWM – Kaiserslautern, DE) | Top |
06. – 11. Mai 2001, Dagstuhl-Seminar 01191Computational Cartography and Spatial ModellingMarc van Kreveld (Utrecht University, NL), Robert Weibel (Universität Zürich, CH), Michael Worboys (University of Maine, US) | Top |
13. – 18. Mai 2001, Dagstuhl-Seminar 01201Algorithms and Number TheoryJoe Buhler (Reed College – Portland, US), Harald Niederreiter (National University of Singapore, SG), Michael E. Pohst (TU Berlin, DE) | Top |
20. – 25. Mai 2001, Dagstuhl-Seminar 01211Software VisualizationStephan Diehl (KU Eichstätt/Ingolstadt, DE), Peter Eades (University of Sydney, AU), John T. Stasko (Georgia Institute of Technology – Atlanta, US) | Top |
27. Mai – 01. Juni 2001, Dagstuhl-Seminar 01221Can Formal Methods Cope with Software-Intensive Systems?Stefan Jähnichen (Fraunhofer Institut – Berlin, DE), Jeff Kramer (Imperial College London, GB), Michel Lemoine (ONERA – Toulouse, FR), Martin Wirsing (LMU München, DE) | Top |
03. – 08. Juni 2001, Dagstuhl-Seminar 01231Design and Analysis of Randomized and Approximation AlgorithmsMartin Dyer (University of Leeds, GB), Mark R. Jerrum (University of Edinburgh, GB), Marek Karpinski (Universität Bonn, DE) | Top |
10. – 15. Juni 2001, Dagstuhl-Seminar 01241Management of MetacomputersFrancine D. Berman (University of California – San Diego, US), Alexander Reinefeld (Konrad-Zuse-Zentrum – Berlin, DE), Uwe Schwiegelshohn (TU Dortmund, DE) | Top |
10. – 15. Juni 2001, Dagstuhl-Seminar 01242Stochastic Methods in RenderingWerner Purgathofer (TU Wien, AT), Mateu Sbert (University of Girona, ES), Pete Shirley (University of Utah – Salt Lake City, US) | Top |
17. – 22. Juni 2001, Dagstuhl-Seminar 01251Graph Decompositions and Algorithmic ApplicationsAndreas Brandstädt (Universität Rostock, DE), Jeremy P. Spinrad (Vanderbilt University, US) | Top |
24. – 29. Juni 2001, Dagstuhl-Seminar 01261Information and Simulation Systems for the Analysis of Gene Regulation and Metabolic PathwaysRalf Hofestädt (Universität Bielefeld, DE), Nikolay A. Kolchanov (Russian Academy of Sc. – Novosibirsk, RU), John Reinitz (SUNY – Stony Brook, US) | Top |
01. – 06. Juli 2001, Dagstuhl-Seminar 01271Link Analysis and VisualizationUlrik Brandes (Universität Konstanz, DE), David Krackhardt (Carnegie Mellon University, US), Roberto Tamassia (Brown University – Providence, US), Dorothea Wagner (KIT – Karlsruher Institut für Technologie, DE) | Top |
22. – 27. Juli 2001, Dagstuhl-Seminar 01301Inference Principles and Model SelectionJoachim M. Buhmann (ETH Zürich, CH), Bernhard Schölkopf (MPI für biologische Kybernetik – Tübingen, DE) | Top |
29. Juli – 03. August 2001, Dagstuhl-Seminar 01311Parameterized ComplexityRodney Downey (Victoria University of Wellington, NZ), Michael R. Fellows (University of Newcastle, AU), Rolf Niedermeier (Universität Jena, DE), Peter Rossmanith (RWTH Aachen, DE) | Top |
19. – 24. August 2001, Dagstuhl-Seminar 01341Dependent Type Theory meets Practical ProgrammingGilles Barthe (INRIA Sophia Antipolis – Méditerranée, FR), Peter Dybjer (Chalmers – Göteborg, SE), Peter Thiemann (Universität Freiburg, DE) | Top |
02. – 07. September 2001, Dagstuhl-Seminar 01361Foundations of Semistructured DataAlberto O. Mendelzon (University of Toronto, CA), Thomas Schwentick (TU Dortmund, DE), Dan Suciu (University of Washington – Seattle, US) | Top |
09. – 14. September 2001, Dagstuhl-Seminar 01371Ubiquitous ComputingGaetano Borriello (University of Washington – Seattle, US), Hans Gellersen (Lancaster University, GB), Friedemann Mattern (ETH Zürich, CH) | Top |
16. – 21. September 2001, Dagstuhl-Seminar 01381Algorithmic Aspects of Large and Complex NetworksMicah Adler (University of Massachusetts – Amherst, US), Friedhelm Meyer auf der Heide (Universität Paderborn, DE), Dorothea Wagner (KIT – Karlsruher Institut für Technologie, DE) | Top |
23. – 28. September 2001, Dagstuhl-Seminar 01391Specification and Analysis of Secure Cryptographic ProtocolsDavid Basin (ETH Zürich, CH), Grit Denker (SRI – Menlo Park, US), Gavin Lowe (University of Oxford, GB), Jonathan K. Millen (SRI – Menlo Park, US) | Top |
07. – 12. Oktober 2001, Dagstuhl-Seminar 01411Proof Theory in Computer ScienceReinhard Kahle (University of Coimbra, PT), Peter Schroeder-Heister (Universität Tübingen, DE), Robert Stärk (ETH Zürich, CH) | Top |
14. – 19. Oktober 2001, Dagstuhl-Seminar 01421Integration of Algebra and Geometry Software SystemsMichael Joswig (TU Berlin, DE), Nobuki Takayama (Kobe University, JP) | Top |
21. – 26. Oktober 2001, Dagstuhl-Seminar 01431Plan-based Control of Robotic AgentsMichael Beetz (TU München, DE), Malik Ghallab (LAAS – Toulouse, FR), Joachim Hertzberg (Universität Osnabrück, DE), Martha E. Pollack (University of Michigan – Ann Arbor, US) | Top |
28. Oktober – 02. November 2001, Dagstuhl-Seminar 01441Coordination and Fusion in Multimodal InteractionHarry Bunt (Tilburg University, NL), Mark Maybury (MITRE – Bedford, US), Wolfgang Wahlster (DFKI – Saarbrücken, DE) | Top |
04. – 09. November 2001, Dagstuhl-Seminar 01451Exploration of Large State SpacesThomas L. Dean (Brown University – Providence, US), Bernhard Nebel (Universität Freiburg, DE), Moshe Y. Vardi (Rice University – Houston, US) | Top |
11. – 16. November 2001, Dagstuhl-Seminar 01461Computability and Complexity in AnalysisVasco Brattka (University of Cape Town, ZA), Peter Hertling (Universität der Bundeswehr – München, DE), Mariko Yasugi (Kyoto-Sangyo University, JP), Ning Zhong (Maebashi Institute of Technology, JP) | Top |
28. – 30. November 2001, Event 01484Lehrerfortbildung in InformatikWolf Böhm (SIL Speyer, DE), Arno Schwarz (Ministerium für Bildung und Kultur – Saarbrücken, DE), Reinhard Wilhelm (Universität des Saarlandes – Saarbrücken, DE) | Top |
02. – 07. Dezember 2001, Dagstuhl-Seminar 01491Synchronous LanguagesGérard Berry (Esterel Technologies – Villeneuve, FR), Willem-Paul de Roever (Universität Kiel, DE), Nicolas Halbwachs (VERIMAG – Grenoble, FR), Klaus Winkelmann (Infineon Technologies – München, DE) | Top |