Seminars and Dagstuhl Perspectives Workshops 2000:



January 16 – 21 , 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

January 23 – 28 , 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

January 30 – February 4 , 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

February 13 – 18 , 2000, Dagstuhl Seminar 00071

Theory of Evolutionary Algorithms


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

Top

February 20 – 25 , 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

February 27 – March 3 , 2000, Dagstuhl Seminar 00091

Data Structures


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

Top

March 12 – 17 , 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

March 19 – 24 , 2000, Dagstuhl Seminar 00121

Semantics for the Web


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

Top

March 26 – 31 , 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

April 2 – 7 , 2000, Dagstuhl Seminar 00141

Verification of Infinite-state Systems


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

Top

April 9 – 14 , 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

April 30 – May 5 , 2000, Dagstuhl Seminar 00181

Probabilistic Methods in Verification


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

Top

May 7 – 10 , 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

May 21 – 26 , 2000, Dagstuhl Seminar 00211

Scientific Visualization


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

Top

June 4 – 9 , 2000, Dagstuhl Seminar 00231

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


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

Top

June 11 – 16 , 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

June 18 – 23 , 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

June 25 – 30 , 2000, Dagstuhl Seminar 00261

Dynamically Reconfigurable Architectures


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

The Dagstuhl Foundation received a donation from: Xilinx Inc., San Jose

Top

July 2 – 7 , 2000, Dagstuhl Seminar 00271

Stochastic and Dynamic Real-Time Systems


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

Top

July 9 – 14 , 2000, Dagstuhl Seminar 00281

Knowledge Management: An Interdisciplinary Approach


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

Top

July 16 – 21 , 2000, Dagstuhl Seminar 00291

Logics for Emerging Applications of Databases


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

Top

August 13 – 18 , 2000, Dagstuhl Seminar 00331

Intelligent Data Analysis


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

Top

August 20 – 25 , 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)

The Dagstuhl Foundation received a donation from: IBM Research

Top

September 10 – 15 , 2000, Dagstuhl Seminar 00371

Experimental Algorithmics


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

Top

September 17 – 22 , 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)

The Dagstuhl Foundation received a donation from: Intel Corp.

Top

September 24 – 29 , 2000, Dagstuhl Seminar 00391

Algorithms and Complexity for Continuous Problems


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

Top

October 8 – 13 , 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

October 15 – 20 , 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

October 22 – 27 , 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

November 5 – 10 , 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)

The Dagstuhl Foundation received a donation from: IBM Research

Top

November 26 – December 1 , 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

December 3 – 8 , 2000, Dagstuhl Seminar 00491

Bioinformatics


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

Top

December 10 – 15 , 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