Seminars and Dagstuhl Perspectives Workshops 2000:
January 16 – 21 , 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 |
January 23 – 28 , 2000, Dagstuhl Seminar 00041Linear, Semidefinite Programming and Randomization Methods for Combinatorial Optimization ProblemsK. Jansen (Kiel), J. Rolim (Geneva), M. Sudan (MIT Cambridge) | Top |
January 30 – February 4 , 2000, Dagstuhl Seminar 00051Digital Media in Computer Science Teaching at University LevelW. Coy (HU Berlin), O. Foelsche (Darthmouth Coll, Hanover), T. Ottmann (Freiburg) | Top |
February 13 – 18 , 2000, Dagstuhl Seminar 00071Theory of Evolutionary AlgorithmsH.-G. Beyer (Dortmund), K. De Jong (Fairfax), D. Fogel (San Diego), I. Wegener (Dortmund) | Top |
February 20 – 25 , 2000, Dagstuhl Seminar 00081Specification of Distributed Information SystemsH.-D. Ehrich (Braunschweig), U. Goltz (Braunschweig), J. Meseguer (SRI, Menlo Park), A. Pnueli (Rehovot) | Top |
February 27 – March 3 , 2000, Dagstuhl Seminar 00091Data StructuresS. Albers (MPI, Saarbrücken), I. Munro (Waterloo), P. Widmayer (Zürich) | Top |
March 12 – 17 , 2000, Dagstuhl Seminar 00111Multi-Image Search, Filtering, Reasoning and VisualisationA. Bruckstein (Technion, Israel), T. Huang (Urbana), R. Klette (Auckland), Song De Ma (Beijing) | Top |
March 19 – 24 , 2000, Dagstuhl Seminar 00121Semantics for the WebD. Fensel (Karlsruhe), J. Hendler (Maryland), H. Lieberman ( MIT, Cambridge), W. Wahlster (DFKI, Saarbrücken) | Top |
March 26 – 31 , 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 |
April 2 – 7 , 2000, Dagstuhl Seminar 00141Verification of Infinite-state SystemsA. Bouajjani (LIAFA - Univ. Paris 7), J. Esparza (TU München) | Top |
April 9 – 14 , 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 |
April 30 – May 5 , 2000, Dagstuhl Seminar 00181Probabilistic Methods in VerificationU. Herzog (Erlangen), M. Kwiatkowska (Birmingham), Ch. Meinel (Trier ), M. Vardi (Houston) | Top |
May 7 – 10 , 2000, Dagstuhl Seminar 00191Quality of Service in Networks and Distributed SystemsA. Campbell (New York), D. Ferrari (Piacenza), S. Fischer (Bruchsal), L. Wolf (Karlsruhe) | Top |
May 21 – 26 , 2000, Dagstuhl Seminar 00211Scientific VisualizationG.-P. Bonneau (IMAG, Grenoble), G. Nielson (Tempe), F. Post (Delft) | Top |
June 4 – 9 , 2000, Dagstuhl Seminar 00231Topology in Computer Science: Constructivity; Asymmetry and Partiality; DigitizationR. Kopperman (New York), M. Smyth (London), D. Spreen (Siegen) | Top |
June 11 – 16 , 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 |
June 18 – 23 , 2000, Dagstuhl Seminar 00251Image Synthesis and Interactive 3D GraphicsM. Cohen (Microsoft Redmond), H. Müller (Dortmund), C. Puech (Grenoble), H.-P. Seidel (Erlangen) | Top |
June 25 – 30 , 2000, Dagstuhl Seminar 00261Dynamically Reconfigurable ArchitecturesG. Brebner (Edinburgh), K.-H. Brenner (Mannheim), H. ElGindy (Newcastle, AUS), H. Schmeck (Karlsruhe) | Top |
July 2 – 7 , 2000, Dagstuhl Seminar 00271Stochastic and Dynamic Real-Time SystemsG. Hommel (Berlin), L.R. Welch (Athens, Ohio) | Top |
July 9 – 14 , 2000, Dagstuhl Seminar 00281Knowledge Management: An Interdisciplinary ApproachM. Jarke (Aachen), D. E. O'Leary (Los Angeles), R. Studer (Karlsruhe) | Top |
July 16 – 21 , 2000, Dagstuhl Seminar 00291Logics for Emerging Applications of DatabasesJ. Chomicki (Monmouth Univ.), R. van der Meyden (Sydney), G. Saake (Magdeburg) | Top |
August 13 – 18 , 2000, Dagstuhl Seminar 00331Intelligent Data AnalysisM. Berthold (Berkeley), R. Kruse (Magdeburg), X. Liu (London), H. Szczerbicka (Hannover) | Top |
August 20 – 25 , 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 |
September 10 – 15 , 2000, Dagstuhl Seminar 00371Experimental AlgorithmicsR. Fleischer (Waterloo), B. Moret (Albuquerque), E. M. Schmidt (Aarhus) | Top |
September 17 – 22 , 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 |
September 24 – 29 , 2000, Dagstuhl Seminar 00391Algorithms and Complexity for Continuous ProblemsS. Heinrich (Kaiserslautern), S. Pereverzev (Kiew), J. Traub (New York), G. Wasilkowski (Lexington) | Top |
October 8 – 13 , 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 |
October 15 – 20 , 2000, Dagstuhl Seminar 00421Modelling of Sensor-Based Intelligent Robot SystemsH. Bunke (Bern), H. I. Christensen (Stockholm), G. Hager (Baltimore), R. Klein (Hagen) | Top |
October 22 – 27 , 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 |
November 5 – 10 , 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 |
November 26 – December 1 , 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 |
December 3 – 8 , 2000, Dagstuhl Seminar 00491BioinformaticsD. Brutlag (Stanford), T. Lengauer (St. Augustin), M. Vingron (DKFZ, Heidelberg) | Top |
December 10 – 15 , 2000, Dagstuhl Seminar 00501Security through Analysis and VerificationP. Degano (Pisa), R. Gorrieri (Bologna), C. Hankin (London), F. Nielson (Aarhus), H. Riis Nielson (Aarhus) | Top |