16. – 21. Januar 2000, Dagstuhl-Seminar 00031Constraint Programming and Integer ProgrammingK. Apt (Amsterdam), M. Jünger (Köln), P. van Hentenryck (Providence), L. Wolsey (Louvain-La-Neuve) | Top |
23. – 28. Januar 2000, Dagstuhl-Seminar 00041Linear, Semidefinite Programming and Randomization Methods for Combinatorial Optimization ProblemsK. Jansen (Kiel), J. Rolim (Geneva), M. Sudan (MIT Cambridge) | Top |
30. Januar – 04. Februar 2000, Dagstuhl-Seminar 00051Digital Media in Computer Science Teaching at University LevelW. Coy (HU Berlin), O. Foelsche (Darthmouth Coll, Hanover), T. Ottmann (Freiburg) | Top |
13. – 18. Februar 2000, Dagstuhl-Seminar 00071Theory of Evolutionary AlgorithmsH.-G. Beyer (Dortmund), K. De Jong (Fairfax), D. Fogel (San Diego), I. Wegener (Dortmund) | Top |
20. – 25. Februar 2000, Dagstuhl-Seminar 00081Specification of Distributed Information SystemsH.-D. Ehrich (Braunschweig), U. Goltz (Braunschweig), J. Meseguer (SRI, Menlo Park), A. Pnueli (Rehovot) | Top |
27. Februar – 03. März 2000, Dagstuhl-Seminar 00091Data StructuresS. Albers (MPI, Saarbrücken), I. Munro (Waterloo), P. Widmayer (Zürich) | Top |
12. – 17. März 2000, Dagstuhl-Seminar 00111Multi-Image Search, Filtering, Reasoning and VisualisationA. Bruckstein (Technion, Israel), T. Huang (Urbana), R. Klette (Auckland), Song De Ma (Beijing) | Top |
19. – 24. März 2000, Dagstuhl-Seminar 00121Semantics for the WebD. Fensel (Karlsruhe), J. Hendler (Maryland), H. Lieberman ( MIT, Cambridge), W. Wahlster (DFKI, Saarbrücken) | Top |
26. – 31. März 2000, Dagstuhl-Seminar 00131Validation of Dependable Behavior of Safety- and Mission-Critical Computing SystemsA. Bondavalli (Pisa), M. Dal Cin (Erlangen), K. Echtle (Essem), E. Maehle (Lübeck) | Top |
02. – 07. April 2000, Dagstuhl-Seminar 00141Verification of Infinite-state SystemsA. Bouajjani (LIAFA - Univ. Paris 7), J. Esparza (TU München) | Top |
09. – 14. April 2000, Dagstuhl-Seminar 00151Advanced Stochastic Modelling in TelecommunicationsU. Herzog (Erlangen), G. Latouche (UL Brussels), V. Ramaswami (AT&T, Middletown), P. Tran-Gia (Würzburg) | Top |
30. April – 05. Mai 2000, Dagstuhl-Seminar 00181Probabilistic Methods in VerificationU. Herzog (Erlangen), M. Kwiatkowska (Birmingham), Ch. Meinel (Trier ), M. Vardi (Houston) | Top |
07. – 10. Mai 2000, Dagstuhl-Seminar 00191Quality of Service in Networks and Distributed SystemsA. Campbell (New York), D. Ferrari (Piacenza), S. Fischer (Bruchsal), L. Wolf (Karlsruhe) | Top |
21. – 26. Mai 2000, Dagstuhl-Seminar 00211Scientific VisualizationG.-P. Bonneau (IMAG, Grenoble), G. Nielson (Tempe), F. Post (Delft) | Top |
04. – 09. Juni 2000, Dagstuhl-Seminar 00231Topology in Computer Science: Constructivity; Asymmetry and Partiality; DigitizationR. Kopperman (New York), M. Smyth (London), D. Spreen (Siegen) | Top |
11. – 16. Juni 2000, Dagstuhl-Seminar 00241Multimedia for Multimedia: Learning and Teaching at the University in the Next DecadeE. Fox (Blacksburg), W. Effelsberg (Mannheim), N. Georganas (Ottawa), R. Steinmetz (GMD, Darmstadt) | Top |
18. – 23. Juni 2000, Dagstuhl-Seminar 00251Image Synthesis and Interactive 3D GraphicsM. Cohen (Microsoft Redmond), H. Müller (Dortmund), C. Puech (Grenoble), H.-P. Seidel (Erlangen) | Top |
25. – 30. Juni 2000, Dagstuhl-Seminar 00261Dynamically Reconfigurable ArchitecturesG. Brebner (Edinburgh), K.-H. Brenner (Mannheim), H. ElGindy (Newcastle, AUS), H. Schmeck (Karlsruhe) | Top |
02. – 07. Juli 2000, Dagstuhl-Seminar 00271Stochastic and Dynamic Real-Time SystemsG. Hommel (Berlin), L.R. Welch (Athens, Ohio) | Top |
09. – 14. Juli 2000, Dagstuhl-Seminar 00281Knowledge Management: An Interdisciplinary ApproachM. Jarke (Aachen), D. E. O'Leary (Los Angeles), R. Studer (Karlsruhe) | Top |
16. – 21. Juli 2000, Dagstuhl-Seminar 00291Logics for Emerging Applications of DatabasesJ. Chomicki (Monmouth Univ.), R. van der Meyden (Sydney), G. Saake (Magdeburg) | Top |
13. – 18. August 2000, Dagstuhl-Seminar 00331Intelligent Data AnalysisM. Berthold (Berkeley), R. Kruse (Magdeburg), X. Liu (London), H. Szczerbicka (Hannover) | Top |
20. – 25. August 2000, Dagstuhl-Seminar 00341High Performance Computing and JavaS. Flynn-Hummel (IBM Watson), V. Getov (Univ. Westminster, London-Harrow), F. Irigoin (Paris), Ch. Lengauer (Passau) | Top |
10. – 15. September 2000, Dagstuhl-Seminar 00371Experimental AlgorithmicsR. Fleischer (Waterloo), B. Moret (Albuquerque), E. M. Schmidt (Aarhus) | Top |
17. – 22. September 2000, Dagstuhl-Seminar 00381Code Optimisation: Trends, Challenges and PerspectivesC. Dulong (Intel, Santa Clara), R. Gupta (Tucson), R. Kennedy (Tensilica, Sta. Clara), J. Knoop (Dortmund), J. Pierce (Intel, Santa Clara) | Top |
24. – 29. September 2000, Dagstuhl-Seminar 00391Algorithms and Complexity for Continuous ProblemsS. Heinrich (Kaiserslautern), S. Pereverzev (Kiew), J. Traub (New York), G. Wasilkowski (Lexington) | Top |
08. – 13. Oktober 2000, Dagstuhl-Seminar 00411Semi-Formal and Formal Specification Techniques for Software SystemsH. Ehrig (TU, Berlin), G. Engels (Paderborn), F. Orejas (Barcelona), M. Wirsing (Uni München) | Top |
15. – 20. Oktober 2000, Dagstuhl-Seminar 00421Modelling of Sensor-Based Intelligent Robot SystemsH. Bunke (Bern), H. I. Christensen (Stockholm), G. Hager (Baltimore), R. Klein (Hagen) | Top |
22. – 27. Oktober 2000, Dagstuhl-Seminar 00431Self-StabilizationA. Arora (Ohio State), J. Beauquier (Paris), S. Dolev (Beer-Sheva, Israel), T. Herman (Iowa City), W.P. de Roever (Kiel) | Top |
05. – 10. November 2000, Dagstuhl-Seminar 00451Effective Implementation of Object-Oriented Programming LanguagesU. Assmann (Karlsruhe), L. Hendren (McGill Univ.), B. Ryder (Rutgers Univ.), F. Tip (IBM Yorktown Heights) | Top |
22. – 24. November 2000, Event 00475Lehrerfortbildung in InformatikWolf Böhm (SIL Speyer, DE), Arno Schwarz (LPM Saarbrücken, DE), Reinhard Wilhelm (Universität des Saarlandes, DE) | Top |
26. November – 01. Dezember 2000, Dagstuhl-Seminar 00481Logic, Algebra, and Formal Verification of Concurrent SystemsV. Diekert (Stuttgart), M. Droste (Dresden), A. Muscholl (Paris), D. A. Peled (Bell Labs, Murray Hill) | Top |
03. – 08. Dezember 2000, Dagstuhl-Seminar 00491BioinformaticsD. Brutlag (Stanford), T. Lengauer (St. Augustin), M. Vingron (DKFZ, Heidelberg) | Top |
10. – 15. Dezember 2000, Dagstuhl-Seminar 00501Security through Analysis and VerificationP. Degano (Pisa), R. Gorrieri (Bologna), C. Hankin (London), F. Nielson (Aarhus), H. Riis Nielson (Aarhus) | Top |