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 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 SpieleE. Grädel (Aachen), W. Thomas (Aachen), T. Wilke (Kiel) | 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 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 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 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 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 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 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 (LPM Saarbrücken, DE), Reinhard Wilhelm (Universität des Saarlandes, 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 |