Seminars 2002:



Seminar 02021, 06.01.02 - 11.01.02

  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

Seminar 02031, 13.01.02 - 18.01.02

  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

Seminar 02041, 20.01.02 - 25.01.02

  The Logic of Rational Agency

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

Top

Seminar 02061, 03.02.02 - 08.02.02

  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

Seminar 02071, 13.02.02 - 15.02.02

  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

Seminar 02081, 17.02.02 - 22.02.02

  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

Seminar 02091, 24.02.02 - 01.03.02

  Data Structures

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

Top

Seminar 02101, 03.03.02 - 08.03.02

  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

Seminar 02111, 10.03.02 - 15.03.02

  Concurrency and Dynamic Behaviour Modelling: Pragmatics & Semantics

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

Top

Seminar 02121, 17.03.02 - 22.03.02

  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

Seminar 02151, 07.04.02 - 12.04.02

  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

Seminar 02181, 29.04.02 - 03.05.02

  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

Seminar 02201, 12.05.02 - 17.05.02

  Geometric Modelling

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

Top

Seminar 02221, 26.05.02 - 31.05.02

  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

Seminar 02231, 02.06.02 - 07.06.02

  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

Seminar 02241, 09.06.02 - 14.06.02

  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

Seminar 02251, 16.06.02 - 21.06.02

  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

Seminar 02261, 23.06.02 - 28.06.02

  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

Seminar 02271, 30.06.02 - 05.07.02

  Online Algorithms

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

Top

Seminar 02291, 14.07.02 - 19.07.02

  Aesthetic Computing

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

Top

Seminar 02341, 18.08.02 - 23.08.02

  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

Seminar 02351, 25.08.02 - 30.08.02

  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

Seminar 02352, 25.08.02 - 29.08.02

  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

Seminar 02361, 01.09.02 - 06.09.02

  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

Seminar 02371, 08.09.02 - 13.09.02

  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

Seminar 02381, 15.09.02 - 20.09.02

  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

Seminar 02391, 22.09.02 - 27.09.02

  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

Seminar 02401, 29.09.02 - 04.10.02

  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

Seminar 02421, 13.10.02 - 18.10.02

  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

Seminar 02441, 27.10.02 - 31.10.02

  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

Seminar 02451, 03.11.02 - 08.11.02

  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

Seminar 02471, 17.11.02 - 22.11.02

  Computational Biology

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

Top

Seminar 02481, 24.11.02 - 29.11.02

  Programming Multi Agent Systems based on Logic

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

Top