Seminare und Dagstuhl-Perspektiven-Workshops 2000:



16. – 21. Januar 2000, Dagstuhl Seminar 00031

Constraint Programming and Integer Programming


K. Apt (Amsterdam), M. Jünger (Köln), P. van Hentenryck (Providence), L. Wolsey (Louvain-La-Neuve)

Top

23. – 28. Januar 2000, Dagstuhl Seminar 00041

Linear, Semidefinite Programming and Randomization Methods for Combinatorial Optimization Problems


K. Jansen (Kiel), J. Rolim (Geneva), M. Sudan (MIT Cambridge)

Top

30. Januar – 04. Februar 2000, Dagstuhl Seminar 00051

Digital Media in Computer Science Teaching at University Level


W. Coy (HU Berlin), O. Foelsche (Darthmouth Coll, Hanover), T. Ottmann (Freiburg)

Top

13. – 18. Februar 2000, Dagstuhl Seminar 00071

Theory of Evolutionary Algorithms


H.-G. Beyer (Dortmund), K. De Jong (Fairfax), D. Fogel (San Diego), I. Wegener (Dortmund)

Top

20. – 25. Februar 2000, Dagstuhl Seminar 00081

Specification of Distributed Information Systems


H.-D. Ehrich (Braunschweig), U. Goltz (Braunschweig), J. Meseguer (SRI, Menlo Park), A. Pnueli (Rehovot)

Top

27. Februar – 03. März 2000, Dagstuhl Seminar 00091

Data Structures


S. Albers (MPI, Saarbrücken), I. Munro (Waterloo), P. Widmayer (Zürich)

Top

12. – 17. März 2000, Dagstuhl Seminar 00111

Multi-Image Search, Filtering, Reasoning and Visualisation


A. Bruckstein (Technion, Israel), T. Huang (Urbana), R. Klette (Auckland), Song De Ma (Beijing)

Top

19. – 24. März 2000, Dagstuhl Seminar 00121

Semantics for the Web


D. Fensel (Karlsruhe), J. Hendler (Maryland), H. Lieberman ( MIT, Cambridge), W. Wahlster (DFKI, Saarbrücken)

Top

26. – 31. März 2000, Dagstuhl Seminar 00131

Validation of Dependable Behavior of Safety- and Mission-Critical Computing Systems


A. Bondavalli (Pisa), M. Dal Cin (Erlangen), K. Echtle (Essem), E. Maehle (Lübeck)

Top

02. – 07. April 2000, Dagstuhl Seminar 00141

Verification of Infinite-state Systems


A. Bouajjani (LIAFA - Univ. Paris 7), J. Esparza (TU München)

Top

09. – 14. April 2000, Dagstuhl Seminar 00151

Advanced Stochastic Modelling in Telecommunications


U. Herzog (Erlangen), G. Latouche (UL Brussels), V. Ramaswami (AT&T, Middletown), P. Tran-Gia (Würzburg)

Top

30. April – 05. Mai 2000, Dagstuhl Seminar 00181

Probabilistic Methods in Verification


U. Herzog (Erlangen), M. Kwiatkowska (Birmingham), Ch. Meinel (Trier ), M. Vardi (Houston)

Top

07. – 10. Mai 2000, Dagstuhl Seminar 00191

Quality of Service in Networks and Distributed Systems


A. Campbell (New York), D. Ferrari (Piacenza), S. Fischer (Bruchsal), L. Wolf (Karlsruhe)

Top

21. – 26. Mai 2000, Dagstuhl Seminar 00211

Scientific Visualization


G.-P. Bonneau (IMAG, Grenoble), G. Nielson (Tempe), F. Post (Delft)

Top

04. – 09. Juni 2000, Dagstuhl Seminar 00231

Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization


R. Kopperman (New York), M. Smyth (London), D. Spreen (Siegen)

Top

11. – 16. Juni 2000, Dagstuhl Seminar 00241

Multimedia for Multimedia: Learning and Teaching at the University in the Next Decade


E. Fox (Blacksburg), W. Effelsberg (Mannheim), N. Georganas (Ottawa), R. Steinmetz (GMD, Darmstadt)

Top

18. – 23. Juni 2000, Dagstuhl Seminar 00251

Image Synthesis and Interactive 3D Graphics


M. Cohen (Microsoft Redmond), H. Müller (Dortmund), C. Puech (Grenoble), H.-P. Seidel (Erlangen)

Top

25. – 30. Juni 2000, Dagstuhl Seminar 00261

Dynamically Reconfigurable Architectures


G. Brebner (Edinburgh), K.-H. Brenner (Mannheim), H. ElGindy (Newcastle, AUS), H. Schmeck (Karlsruhe)

Die Dagstuhl-Stiftung erhielt eine Spende von: Xilinx Inc., San Jose

Top

02. – 07. Juli 2000, Dagstuhl Seminar 00271

Stochastic and Dynamic Real-Time Systems


G. Hommel (Berlin), L.R. Welch (Athens, Ohio)

Top

09. – 14. Juli 2000, Dagstuhl Seminar 00281

Knowledge Management: An Interdisciplinary Approach


M. Jarke (Aachen), D. E. O'Leary (Los Angeles), R. Studer (Karlsruhe)

Top

16. – 21. Juli 2000, Dagstuhl Seminar 00291

Logics for Emerging Applications of Databases


J. Chomicki (Monmouth Univ.), R. van der Meyden (Sydney), G. Saake (Magdeburg)

Top

13. – 18. August 2000, Dagstuhl Seminar 00331

Intelligent Data Analysis


M. Berthold (Berkeley), R. Kruse (Magdeburg), X. Liu (London), H. Szczerbicka (Hannover)

Top

20. – 25. August 2000, Dagstuhl Seminar 00341

High Performance Computing and Java


S. Flynn-Hummel (IBM Watson), V. Getov (Univ. Westminster, London-Harrow), F. Irigoin (Paris), Ch. Lengauer (Passau)

Die Dagstuhl-Stiftung erhielt eine Spende von: IBM Research

Top

10. – 15. September 2000, Dagstuhl Seminar 00371

Experimental Algorithmics


R. Fleischer (Waterloo), B. Moret (Albuquerque), E. M. Schmidt (Aarhus)

Top

17. – 22. September 2000, Dagstuhl Seminar 00381

Code Optimisation: Trends, Challenges and Perspectives


C. Dulong (Intel, Santa Clara), R. Gupta (Tucson), R. Kennedy (Tensilica, Sta. Clara), J. Knoop (Dortmund), J. Pierce (Intel, Santa Clara)

Die Dagstuhl-Stiftung erhielt eine Spende von: Intel Corp.

Top

24. – 29. September 2000, Dagstuhl Seminar 00391

Algorithms and Complexity for Continuous Problems


S. Heinrich (Kaiserslautern), S. Pereverzev (Kiew), J. Traub (New York), G. Wasilkowski (Lexington)

Top

08. – 13. Oktober 2000, Dagstuhl Seminar 00411

Semi-Formal and Formal Specification Techniques for Software Systems


H. Ehrig (TU, Berlin), G. Engels (Paderborn), F. Orejas (Barcelona), M. Wirsing (Uni München)

Top

15. – 20. Oktober 2000, Dagstuhl Seminar 00421

Modelling of Sensor-Based Intelligent Robot Systems


H. Bunke (Bern), H. I. Christensen (Stockholm), G. Hager (Baltimore), R. Klein (Hagen)

Top

22. – 27. Oktober 2000, Dagstuhl Seminar 00431

Self-Stabilization


A. 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 00451

Effective Implementation of Object-Oriented Programming Languages


U. Assmann (Karlsruhe), L. Hendren (McGill Univ.), B. Ryder (Rutgers Univ.), F. Tip (IBM Yorktown Heights)

Die Dagstuhl-Stiftung erhielt eine Spende von: IBM Research

Top

26. November – 01. Dezember 2000, Dagstuhl Seminar 00481

Logic, Algebra, and Formal Verification of Concurrent Systems


V. Diekert (Stuttgart), M. Droste (Dresden), A. Muscholl (Paris), D. A. Peled (Bell Labs, Murray Hill)

Top

03. – 08. Dezember 2000, Dagstuhl Seminar 00491

Bioinformatics


D. Brutlag (Stanford), T. Lengauer (St. Augustin), M. Vingron (DKFZ, Heidelberg)

Top

10. – 15. Dezember 2000, Dagstuhl Seminar 00501

Security through Analysis and Verification


P. Degano (Pisa), R. Gorrieri (Bologna), C. Hankin (London), F. Nielson (Aarhus), H. Riis Nielson (Aarhus)

Top