Seminars 2002:



January 6 – 11, 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

January 13 – 18, 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

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

February 3 – 8, 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)

The Dagstuhl Foundation received a donation from: Nisus Incorporated, USA

Top

February 13 – 15, 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

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

February 24 to March 1, 2002, Dagstuhl Seminar 02091

Data Structures


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

Top

March 3 – 8, 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

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

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

April 7 – 12, 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

April 29 to May 3, 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

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

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

June 2 – 7, 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

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

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

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

June 30 to July 5, 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

July 14 – 19, 2002, Dagstuhl Seminar 02291

Aesthetic Computing


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

Top

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

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

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

September 1 – 6, 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

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

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

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

September 29 to October 4, 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

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

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

November 3 – 8, 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

November 17 – 22, 2002, Dagstuhl Seminar 02471

Computational Biology


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

Top

November 24 – 29, 2002, Dagstuhl Seminar 02481

Programming Multi Agent Systems based on Logic


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

Top