Seminare 2002:



06. – 11. Januar 2002, Dagstuhl Seminar 02021

Content-Based Image and Video Retrieval


J. Malik (UC Berkeley, USA), H.-P. Kriegel (LMU München, Germany), L. Shapiro (Univ. of Washington, USA), R. Veltkamp (Utrecht Univ., The Netherlands)

Top

13. – 18. Januar 2002, Dagstuhl Seminar 02031

Theory of Evolutionary Algorithms


H.-G. Beyer (Univ. Dortmund, Germany), K. De Jong (George Mason Univ., USA), C. Reeves (Univ. of Coventry, United Kingdom), I. Wegener (Univ. Dortmund, Germany)

Top

20. – 25. Januar 2002, Dagstuhl Seminar 02041

The Logic of Rational Agency


M. Wooldridge (Liverpool Univ., GB), W. van der Hoek (Utrecht Univ., NL and Liverpool Univ., GB)

Top

03. – 08. Februar 2002, Dagstuhl Seminar 02061

Rule Markup Techniques for the Semantic Web


H. Boley (DFKI Kaiserslautern, D), B. Grosof (MIT Cambridge, USA), S. Tabet (Nisus Inc., USA), G. Wagner (Eindhoven Univ. of Technology, NL)

Die Dagstuhl-Stiftung erhielt eine Spende von: Nisus Incorporated, USA

Top

13. – 15. Februar 2002, Dagstuhl Seminar 02071

Concepts and Applications of Programmable and Active Networking Technologies


D. Hutchison (Lancaster, GB), B. Plattner (ETH Zürich, CH), P. Steenkiste (CMU Pittsburgh, USA), M. Zitterbart (Karlsruhe, D)

Top

17. – 22. Februar 2002, Dagstuhl Seminar 02081

Algorithmic Combinatorial Game Theory


E. Demaine (Univ. of Waterloo, Canada), R. Fleischer (HKUST, Hong Kong), A. Fraenkel (Weizmann Inst. of Science, Israel), R. Nowakowski (Dalhousie Univ., Canada)

Top

24. Februar – 01. März 2002, Dagstuhl Seminar 02091

Data Structures


S. Albers (Univ. Freiburg, Germany), R. Sedgewick (Princeton Univ., USA), P. Widmayer (ETH Zürich, Switzerland)

Top

03. – 08. März 2002, Dagstuhl Seminar 02101

Theory and Application of Abstract State Machines


A. Blass (Univ. of Michigan, Ann Arbor MI, USA), E. Börger (Univ. di Pisa, Italy), Y. Gurevich (Microsoft Research, Redmond WA, USA)

Top

10. – 15. März 2002, Dagstuhl Seminar 02111

Concurrency and Dynamic Behaviour Modelling: Pragmatics & Semantics


G. Engels (Univ. Paderborn, Germany), R. van Glabbeek (Stanford Univ., USA), U. Goltz (TU Braunschweig, Germany)

Top

17. – 22. März 2002, Dagstuhl Seminar 02121

Complexity of Boolean Functions


D. A. Mix Barrington (Univ. of Massachusetts, USA), J. Hastad (Royal Inst. of Technology, Stockholm, Sweden), M. Krause (Univ. Mannheim, Germany), R. Reischuk (Univ. Lübeck, Germany)

Top

07. – 12. April 2002, Dagstuhl Seminar 02151

Theoretical Foundations of Computer Vision -- Geometry, Morphology, and Computational Imaging


T. Asano (JAIST, JP), R. Klette (CITR Tamaki, NZ), Ch. Ronse (Univ. de Strasbourg, F)

Top

29. April – 03. Mai 2002, Dagstuhl Seminar 02181

Information Integration


V. Krishnamurthy (Oracle Redwood Shores CA, USA), F. Leymann (IBM & Univ. Stuttgart, D), N. Mattos (IBM San Jose CA, USA), B. Mitschang (Univ. Stuttgart, D)

Top

12. – 17. Mai 2002, Dagstuhl Seminar 02201

Geometric Modelling


G. Brunnett (TU Chemnitz, Germany), G. Farin (ASU Tempe, USA), R. Goldman (Rice Univ., USA), S. Hahmann (IMAG Grenoble, France)

Top

26. – 31. Mai 2002, Dagstuhl Seminar 02221

Mathematical Structures for Computable Topology and Geometry


R. Kopperman (City College of New York, USA), M. B. Smyth (Imperial College, London, GB), D. Spreen (Univ. Siegen, D)

Top

02. – 07. Juni 2002, Dagstuhl Seminar 02231

Scheduling in Computer and Manufacturing Systems


J. Blazewicz (Poznan UT, Poland), E. Coffman (New Jersey Inst. of Technology, USA), K. Ecker (TU Clausthal, Germany), D. Trystram (IMAG, Grenoble, France)

Top

09. – 14. Juni 2002, Dagstuhl Seminar 02241

Electronic Market Design


D. Lehmann (The Hebrew University of Jerusalem, Israel), R. Müller (Maastricht University, The Netherlands), T. Sandholm (CMU Pittsburgh, USA), R. Vohra (Kellogg Graduate School of Management, Evanston IL, USA)

Top

16. – 21. Juni 2002, Dagstuhl Seminar 02251

Approximation and Randomized Algorithms in Communication Networks


E. Bampis (Evry, F), K. Jansen (Univ. Kiel, D), P. Persiano (Salerno, I), R. Solis-Oba (London, CDN), G. Wilfong (Bell Labs, Murray Hill, USA)

Top

23. – 28. Juni 2002, Dagstuhl Seminar 02261

The Travelling Salesman Problem


D. S. Johnson (AT&T Labs, USA), J. K. Lenstra (TU Eindhoven, The Netherlands), G. Woeginger (University of Twente, The Netherlands)

Top

30. Juni – 05. Juli 2002, Dagstuhl Seminar 02271

Online Algorithms


S. Albers (Univ. Freiburg, Germany), A. Fiat (Tel Aviv Univ., Israel), G. Woeginger (University of Twente, The Netherlands)

Top

14. – 19. Juli 2002, Dagstuhl Seminar 02291

Aesthetic Computing


P. Fishwick (Univ. of Florida, USA), R. Malina (Leonardo, MIT Press, USA), Ch. Sommerer (ATR Media, J)

Top

18. – 23. August 2002, Dagstuhl Seminar 02341

Performance Analysis and Distributed Computing


M. Gerndt (TU München, D), V. Getov (Univ. of Westminster, GB), A. Hoisie (Los Alamos Nat. Lab., USA), A. Malony (Univ. of Oregon, USA), B. Miller (Univ. of Wisconsin - Madison, USA)

Top

25. – 30. August 2002, Dagstuhl Seminar 02351

Grand Challenges for Modelling and Simulation


R. Fujimoto (Georgia Inst. of Technology, USA), W.H. Lunceford (U.S. Army Model & Simulation Office, Arlington, USA), E. H. Page (MITRE Corp. McLean, USA), A. Uhrmacher (Univ. Rostock, D)

Top

25. – 29. August 2002, Dagstuhl Seminar 02352

Formal Circuit Equivalence Verification


J. Moondanos (INTEL Corp., USA), A. Kühlmann (Cadence, USA), K. Sakallah (Univ. of Michigan at Ann Arbor, USA), W. Kunz (Univ. Kaiserslautern, D)

Top

01. – 06. September 2002, Dagstuhl Seminar 02361

Supporting Customer-Supplier Relationships: Requirements Engineering and Quality Assurance


B. Paech (FhG IESE, Kaiserslautern, D), D. Parnas (McMaster, Hamilton, CDN), J. Poore (Univ. of Tennesse, USA), D. Rombach (Univ. & FhG IESE, Kaiserslautern, D), R. van Megen (SQS Software Quality Systems AG, D)

Top

08. – 13. September 2002, Dagstuhl Seminar 02371

Experimental Algorithmics


J. Bentley (Bell Labs, Murray Hill, USA), R. Fleischer (HKUST, Hong Kong), B. Moret (Univ. of New Mexico, USA), E.M. Schmidt (Univ. of Aarhus, DK)

Top

15. – 20. September 2002, Dagstuhl Seminar 02381

Nonmonotonic Reasoning, Answer Set Programming and Constraints


G. Brewka (Univ. Leipzig, Germany), I. Niemelä (Helsinki TU, Finland), T. Schaub (Univ. Potsdam, Germany), M. Truszczynski (University of Kentucky, USA)

Top

22. – 27. September 2002, Dagstuhl Seminar 02391

Cryptography


U. Maurer (ETH Zürich, CH), A. Shamir (Weizmann Inst., Rehovot, IL), J. Stern (ENS Paris, F), M. Yung (Columbia Univ., New York, USA)

Top

29. September – 04. Oktober 2002, Dagstuhl Seminar 02401

Algorithms and Complexity for Continuous Problems


L. Plaskota (Warsaw University, PL), K. Ritter (TU Darmstadt, D), I. H. Sloan (Univ. of New South Wales, AUS), J. F. Traub (Columbia University, USA)

Top

13. – 18. Oktober 2002, Dagstuhl Seminar 02421

Algebraic Methods in Quantum and Classical Models of Computation


H. Buhrman (CWI - Amsterdam, The Netherlands), L. Fortnow (NEC Princeton, USA), T. Thierauf (Univ. Ulm, Germany)

Top

27. – 31. Oktober 2002, Dagstuhl Seminar 02441

Quality of Service in Networks and Distributed Systems


A. Campbell (Columbia Univ. New York, USA), S. Fischer (TU Braunschweig, D), K. Nahrstedt (Univ. of Illinois at Urbana-Champaign, USA), L. Wolf (Univ. Karlsruhe, D)

Top

03. – 08. November 2002, Dagstuhl Seminar 02451

Dependability of Component Based Systems


S. Anderson (Univ of Edinburgh, GB), R. Bloomfield (Adelard, GB), M. Heisel (TU Ilmenau, D), B. Krämer (FernUniv. Hagen, D)

Top

17. – 22. November 2002, Dagstuhl Seminar 02471

Computational Biology


R. Altman (Stanford Univ., USA), D. Gilbert (Univ. of Glasgow, GB), T. Lengauer (MPI Saarbrücken, D)

Top

24. – 29. November 2002, Dagstuhl Seminar 02481

Programming Multi Agent Systems based on Logic


J. Dix (Univ. Manchester, GB), M. Fisher (Univ. of Liverpool, GB)

Top