Jump to Navigation | Search | Content area | Page footer

Seminars 2001:


Seminar 01021, 07.01.01 - 12.01.01

  Semantics in Databases

L. Bertossi (Santiago, Chile), G.O.H. Katona (Budapest), K.-D. Schewe (Massey Univ., NZ), B. Thalheim (BTU Cottbus)

Top

Seminar 01041, 21.01.01 - 26.01.01

  Interoperability of Reengineering Tools

J. Ebert (Koblenz-Landau), K. Kontogiannis (of Waterloo), J. Mylopoulos (Toronto)

Top

Seminar 01051, 28.01.01 - 02.02.01

  Computer Aided Design and Test - BDDs versus SAT

B. Becker (Freiburg), M. Fujita (Sunyvale), C. Meinel (Trier), F. Somenzi (Boulder, CO)

Top

Seminar 01081, 18.02.01 - 23.02.01

  Applications of Kleene Algebra

R. Backhouse (Nottingham), D. Kozen (Cornell Univ., Ithaca), B. Möller (Augsburg)

Top

Seminar 01091, 25.02.01 - 02.03.01

  Algorithmic Techniques in Physics

M. Jünger (Köln), G. Reinelt (Heidelberg), H. Rieger (Saarbrücken), G. Rinaldi (Roma)

Top

Seminar 01101, 04.03.01 - 09.03.01

  Deduction

U. Furbach (Koblenz), H. Ganzinger (MPI Saarbrücken), R. Hasegawa (Fukuoka), D. Kapur (Albuquerque)

Top

Seminar 01111, 11.03.01 - 16.03.01

  Methodology of Evaluation in Computational Medical Imaging

K. W. Bowyer (Tampa, FL), M. H. Loew (Washington, DC), H. S. Stiehl (Hamburg), M. A. Viergever (Utrecht)

Top

Seminar 01121, 18.03.01 - 23.03.01

  Computational Geometry

R. Klein (Bonn), G. Rote (FU Berlin)

Top

Seminar 01141, 01.04.01 - 06.04.01

  Semantic Foundations of Proof-search

D. Pym (QMW, London), E. Ritter (Birmingham), T. Streicher (Darmstadt)

Top

Seminar 01161, 16.04.01 - 20.04.01

  Product Family Development

G. Böckle (Siemens, München), P. C. Clements (CMU, Pittsburgh), H. Obbink (Philips, Eindhoven), K. Pohl (Essen), D. Rombach (Kaiserslautern)

Top

Seminar 01191, 06.05.01 - 11.05.01

  Computational Cartography and Spatial Modelling

M. van Kreveld (Utrecht), M. Worboys (Keele), R. Weibel (Zürich)

Top

Seminar 01201, 13.05.01 - 18.05.01

  Algorithms and Number Theory

J. Buhler (Berkeley), H. Niederreiter (Singapore), M.E. Pohst (TU Berlin)

Top

Seminar 01211, 20.05.01 - 25.05.01

  Software Visualization

S. Diehl (Saarbrücken), P. Eades (Sydney), J. Stasko (Atlanta)

Top

Seminar 01221, 27.05.01 - 01.06.01

  Can Formal Methods Cope with Software-Intensive Systems?

S. Jähnichen (FhG FIRST, Berlin), J. Kramer (London), M. Lemoine (Toulouse), M. Wirsing (München)

Top

Seminar 01231, 03.06.01 - 08.06.01

  Design and Analysis of Randomized and Approximation Algorithms

M. Dyer (Leeds), M. Jerrum (Edinburgh), M. Karpinski (Bonn)

Top

Seminar 01241, 10.06.01 - 15.06.01

  Management of Metacomputers

F. Berman (UCSD, La Jolla), A. Reinefeld (ZIB, Berlin-Dahlem), U. Schwiegelshohn (Dortmund)

Top

Seminar 01242, 10.06.01 - 15.06.01

  Stochastic Methods in Rendering

M. Sbert (Girona), W. Purgathofer (Wien), P. Shirley (Salt Lake City)

Top

Seminar 01251, 17.06.01 - 22.06.01

  Graph Decompositions and Algorithmic Applications

A. Brandstädt (Rostock), J. P. Spinrad (Nashville)

Top

Seminar 01261, 24.06.01 - 29.06.01

  Information and Simulation Systems for the Analysis of Gene Regulation and Metabolic Pathways

R. Hofestädt (Magdeburg), N. Kolchanov (Novosibirsk), J. Reinitz (New York)

Top

Seminar 01271, 01.07.01 - 06.07.01

  Link Analysis and Visualization

U. Brandes (Konstanz), D. Krackhardt (CMU Pittsburgh), R. Tamassia (Brown Providence), D. Wagner (Konstanz)

Top

Seminar 01301, 22.07.01 - 27.07.01

  Inference Principles and Model Selection

J. Buhmann (Bonn), B. Schölkopf (Barnhill Technologies, New York)

The Dagstuhl Foundation received a donation from: Biowulf Technologies, Savannah, USA

Top

Seminar 01311, 29.07.01 - 03.08.01

  Parameterized Complexity

R. Downey (Wellington), M. Fellows (Victoria), R. Niedermeier (Tübingen), P. Rossmanith (TU München)

Top

Seminar 01341, 19.08.01 - 24.08.01

  Dependent Type Theory meets Practical Programming

G. Barthe (INRIA, Sophia Antipolis), P. Dybjer (Chalmers, Göteborg), P. Thiemann (Freiburg)

Top

Seminar 01361, 02.09.01 - 07.09.01

  Foundations of Semistructured Data

A. Mendelzon (Toronto), T. Schwentick (Marburg), D. Suciu (Univ. of Washington)

Top

Seminar 01371, 09.09.01 - 14.09.01

  Ubiquitous Computing

G. Borriello (Washington), H.-W. Gellersen (TecO, Karlsruhe), F. Mattern (ETH, Zürich)

Top

Seminar 01381, 16.09.01 - 21.09.01

  Algorithmic Aspects of Large and Complex Networks

M. Adler (Amherst, MA), F. Meyer auf der Heide (Paderborn), D. Wagner (Konstanz)

Top

Seminar 01391, 23.09.01 - 28.09.01

  Specification and Analysis of Secure Cryptographic Protocols

D. Basin (Freiburg), G. Denker (SRI, Menlo Park), G. Lowe (Oxford), J. Millen (SRI Menlo Park)

Top

Seminar 01411, 07.10.01 - 12.10.01

  Proof Theory in Computer Science

R. Kahle (Tübingen), P. Schröder-Heister (Tübingen), R. Stärk (Zürich)

Top

Seminar 01421, 14.10.01 - 19.10.01

  Integration of Algebra and Geometry Software Systems

M. Joswig (TU Berlin), N. Takayama (Kobe University)

Top

Seminar 01431, 21.10.01 - 26.10.01

  Plan-based Control of Robotic Agents

M. Beetz (TU München), J. Hertzberg (FhG AIS, Bonn), M. Ghallab (Toulouse), M. Pollack (Ann Arbor)

The Dagstuhl Foundation received a donation from: EU-Network PLANET

Top

Seminar 01441, 28.10.01 - 02.11.01

  Coordination and Fusion in Multimodal Interaction

H. Bunt (Tilburg, The Netherlands), M. Maybury (MITRE, Bedford), W. Wahlster (Saarbrücken)

Top

Seminar 01451, 04.11.01 - 09.11.01

  Exploration of Large State Spaces

T. Dean (Providence), B. Nebel (Freiburg), M. Vardi (Huston)

Top

Seminar 01461, 11.11.01 - 16.11.01

  Computability and Complexity in Analysis

V. Brattka (Hagen), P. Hertling (Hagen), M. Yasugi (Kyoto Sangyo Univ., Japan), N. Zhong (Batavia OH)

Top

Seminar 01491, 02.12.01 - 07.12.01

  Synchronous Languages

W.P. de Roever (Univ. Kiel), N. Halbwachs (Verimag Grenoble), G. Berry (École des Mines, Sophia Antipolis), K. Winkelmann (Siemens München)

Top