Jump to Navigation | Search | Content area | Page footer

Seminars 2003:


Seminar 03021, 05.01.03 - 10.01.03

  Verification and Constructive Algebra

T. Coquand (Chalmers UT, Göteborg, S), H. Lombardi (Univ. de Franche Comté , F), M.-F. Roy (IRMAR, Rennes, F)

Top

Seminar 03041, 19.01.03 - 24.01.03

  Numerical Software with Result Verification

R. Alt (LIP, Paris, F), A. Frommer (Univ. Wuppertal, D), R.B. Kearfott (Univ. of Louisiana at Lafayette, USA), W. Luther (Univ. Duisburg, D)

Top

Seminar 03051, 28.01.03 - 31.01.03

  Information and Process Integration: A Life Science Perspective

R. Apweiler (EBML-EBI, Cambridge, GB), T. Etzold (LION Bioscience Ltd.,Cambridge, GB), J.-C. Freytag (HU-Berlin, D), C. Goble (Univ. of Manchester, GB), P. Schwarz (IBM Almaden, USA)

Top

Seminar 03061, 02.02.03 - 07.02.03

  Software Architecture: Recovery and Modelling

A. v. Deursen (CWI Amsterdam, NL), R. Kazman (CMU Pittsburgh, USA), R. Koschke (Uni. Stuttgart, DE)

Top

Seminar 03071, 09.02.03 - 14.02.03

  Emerging Technologies: Can Optimization Technology meet their Demands?

T. Conte (North Carolina State Univ., USA), C. Eisenbeis (INRIA Rocquencourt, F), M.L. Soffa (Univ. of Pittsburgh, USA)

Top

Seminar 03081, 16.02.03 - 21.02.03

  Objects, Agents and Features

H.-D. Ehrich (Univ. Braunschweig, D), J.-J. Meyer (Utrecht, NL), M. Ryan (Univ. of Birmingham, GB)

Top

Seminar 03091, 23.02.03 - 28.02.03

  Program Analysis for Object-Oriented Evolution

F. Tip (IBM T.J. Watson Res. Center, USA), G. Snelting (Univ. Passau, D), R. Johnson (Univ. of Illinois, USA)

The Dagstuhl Foundation received a donation from: IBM Research

Top

Seminar 03101, 02.03.03 - 07.03.03

  Reasoning about Shape

M. Müller-Olm (Univ. Trier, D), H. Riis Nielson (DTU Lyngby, DK), D. Schmidt (Kansas St. Univ., USA)

Top

Seminar 03111, 09.03.03 - 14.03.03

  Challenges in High Performance Simulations for Science and Engineering

U. Rüde (Univ. Erlangen-Nürnberg, D), F. Hoßfeld (Forschungszentrum Jülich, D), P. Langtangen (Univ. of Oslo, N), Ch. Johnson (Univ. of Utah, Salt Lake City, USA)

Top

Seminar 03112, 10.03.03 - 13.03.03

  Multimedia Retrieval

M. Clausen (Univ. Bonn, D), R. Klein (Univ. Bonn, D), I. Witten (Waikato Univ. Hamilton, NZ)

The Dagstuhl Foundation received a donation from: Deutsche Forschungsgemeinschaft, Bonn

Top

Seminar 03121, 16.03.03 - 21.03.03

  Computational Geometry

D. Halperin (Tel Aviv Univ. IL), G. Rote (FU Berlin, D)

Top

Seminar 03131, 23.03.03 - 28.03.03

  Domain-Specific Program Generation

D. Batory (UT at Austin, USA), C. Consel (LaBRI, Bordeaux, F), C. Lengauer (Univ. Passau, D), M. Odersky (EPFL, Lausanne, CH)

Top

Seminar 03141, 30.03.03 - 04.04.03

  The Propositional Satisfiability Problem -- Algorithms and Lower Bounds

A. Goerdt (TU Chemnitz, D), P. Pudlak (Acad. of Sciences, Prague, CZ), U. Schöning (Univ. Ulm, D), O. Watanabe (Tokyo Inst. of Technology, J)

Top

Seminar 03151, 07.04.03 - 10.04.03

  Product Family Development

G. Böckle (Siemens, München, D), P. Knauber (FH Mannheim, D), F. van der Linden (Philips, Eindhoven, NL), L. Northrop (SEI, Carnegie Mellon Univ., USA), K. Pohl (Univ. Duisburg-Essen, D)

Top

Seminar 03171, 21.04.03 - 25.04.03

  Deduction and Infinite-state Model Checking

D. Kapur (Univ. of New Mexico, US), A. Podelski (MPI Saarbrücken, D), A. Voronkov (Univ. of Manchester, GB)

Top

Seminar 03181, 27.04.03 - 02.05.03

  Centennial Seminar on Kolmogorov Complexity and Applications

B. Durand (Marseille, F), L.A. Levin (Boston Univ., USA), W. Merkle (Heidelberg, D), A. Shen (IITP - Moscow, RUS), P. Vitanyi (CWI & Univ. Amsterdam, NL)

Top

Seminar 03191, 04.05.03 - 09.05.03

  Conceptual and Technical Aspects of Electronic Learning

C. Haythornthwaite (The Univ. of Illinois, Champaign, US), W. Stucky (Univ. Karlsruhe, D), G. Vossen (Univ. Münster, D)

Top

Seminar 03201, 11.05.03 - 16.05.03

  Probabilistic Methods in Verification and Planning

C. Boutilier (Univ. of Toronto, CDN), B. Haverkort (RWTH Aachen, D), M. Kwiatkowska (Univ. of Birmingham, GB), M. Vardi (Rice Univ., Huston, USA)

Top

Seminar 03211, 18.05.03 - 23.05.03

  Adaptivity in Parallel Scientific Computing

I. Banicescu (Mississippi State Univ., USA), K. Pingali (Cornell Univ. USA), T. Rauber (Univ. Bayreuth, D), G. Rünger (TU Chemnitz, D)

Top

Seminar 03231, 01.06.03 - 06.06.03

  Scientific Visualization: Extracting Information and Knowledge from Scientific Data Sets

G.-P. Bonneau (IMAG Grenoble, FR), T. Ertl (Univ. Stuttgart, DE), G. M. Nielson (Arizona State University, US)

Top

Seminar 03241, 09.06.03 - 13.06.03

  Inconsistency Tolerance

L. Bertossi (Carleton Univ. CDN), P. Besnard (Univ. Toulouse, F), A. Hunter (Univ. College London, GB), T. Schaub (Univ. Potsdam, D)

Top

Seminar 03261, 22.06.03 - 27.06.03

  Plan-Based Control of Robotic Agents

M. Beetz (TU München, D), J. Hertzberg (Fhg - AIS, Bonn, D), M. Ghallab (LAAS Toulouse, F), M. Pollack (Univ. of Michigan, Ann Arbor, USA)

Top

Seminar 03271, 29.06.03 - 04.07.03

  Hierarchical Methods in Computer Graphics

M. Gross (ETH Zürich, CH), D. Manocha (UNC at Chapel Hill, USA), H. Müller (Univ. Dortmund, D), H.-P. Seidel (MPI Saarbrücken, D)

Top

Seminar 03281, 06.07.03 - 11.07.03

  Embodied Artificial Intelligence

V. Hafner (Univ. Zürich, CH), F. Iida (Univ. Zürich, CH), Y. Kuniyoshi (Tokyo Univ., J), R. Pfeifer (Univ. Zürich, CH), L. Steels (Free Univ. and Sony Lab, Brussels, B)

Top

Seminar 03291, 13.07.03 - 18.07.03

  Algorithmic Game Theory and the Internet

M. Karpinski (Univ. Bonn, D), C. Papadimitriou (UC Berkeley, US), V. Vazirani (Georgia Tech, Atlanta, US)

Top

Seminar 03301, 20.07.03 - 25.07.03

  Dynamically Reconfigurable Architectures

P. Athanas (Virginia Tech, USA), J. Becker (Univ. Karlsruhe, D), G. Brebner (Xilinx Inc. - San José, US), H. ElGindy (University of New South Wales, Sydney, AUS)

The Dagstuhl Foundation received a donation from: PACT XPP Technologies, Munich / Quicksilver Inc., San José / Xilinx Inc., San Jose

Top

Seminar 03311, 27.07.03 - 01.08.03

  Fixed Parameter Algorithms

M. Fellows (Univ. of Newcastle, AUS), M. Hallett (McGill Univ. of Montreal, CDN), R. Niedermeier (Univ. Tübingen, D), N. Nishimura (Univ. of Waterloo, CDN)

Top

Seminar 03321, 03.08.03 - 07.08.03

  Internet Economics

B. Stiller (ETH Zürich, CH & UniBW, München, D), L. McKnight (Tufts Univ & MIT, US), M. Karsten (Univ. of Waterloo, CDN), P. Reichl (Telecom. Res. Center, Vienna, A)

Top

Seminar 03351, 26.08.03 - 29.08.03

  Software Optimization

S. Graham (Berkeley, USA), R. Wilhelm (Univ. Saarbrücken, D)

Top

Seminar 03361, 31.08.03 - 05.09.03

  Algorithmic Aspects of Large and Complex Networks

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

Top

Seminar 03362, 31.08.03 - 05.09.03

  Data Quality on the Web

M. Gertz (UC Davis, US), T. M. Özsu (Univ. of Waterloo, CDN), G. Saake (Univ. Magdeburg, D), K.-U. Sattler (Univ. Magdeburg, D)

Top

Seminar 03371, 07.09.03 - 12.09.03

  Scenarios: Models, Transformations and Tools

F. Bordeleau (Carleton Univ., Ottawa, CA), S. Leue (Univ. Freiburg, D), T. Systä (Tampere Univ. of Techn., FI)

Top

Seminar 03381, 14.09.03 - 19.09.03

  New Optimization Algorithms in Physics

H. Rieger (Univ. des Saarlandes, D), A. Hartmann (Univ. Göttingen, D), K. Mehlhorn (MPI Saarbrücken, D)

Top

Seminar 03391, 21.09.03 - 26.09.03

  Graph Colorings

J. Nesetril (Charles Univ, Praha, CZ), G. Woeginger (Univ. Twente, NL)

Top

Seminar 03401, 28.09.03 - 03.10.03

  Computational Cartography and Spatial Modelling

P. van Oosterom (Delft University of Technology, NL), M. Sester (Univ. Hannover, D), J. Snoeyink (UNC Chapel Hill, USA), M. Worboys (Univ. of Maine at Orono, USA)

Top

Seminar 03411, 05.10.03 - 10.10.03

  Language-Based Security

A. Banerjee (Kansas State Univ., USA), H. Mantel (DFKI Saarbrücken, D), D. Naumann (Stevens Inst. of Techn., Hoboken, USA), A. Sabelfeld (Cornell Univ., Ithaca, USA)

Top

Seminar 03421, 12.10.03 - 17.10.03

  Theoretical and Computational Aspects of Matrix Algorithms

N. Higham (Univ. of Manchester, GB), V. Mehrmann (TU Berlin, D), S. Rump (TU Hamburg-Harbug, D), D. Szyld (Temple Univ., US)

Top

Seminar 03431, 19.10.03 - 24.10.03

  Hardware and Software Consistency Models: Programmability and Performance

J. Knoop (TU Wien, AT), J. Lee (Seoul National Univ., ROK), S. Midkiff (Purdue Univ., US), D. Padua (Univ. of Illinois, US)

Top

Seminar 03441, 26.10.03 - 31.10.03

  Cognitive Vision Systems

H. Christensen (Stockholm, S), H.-H. Nagel (Univ. Karlsruhe, D)

Top

Seminar 03451, 02.11.03 - 07.11.03

  Applied Deductive Verification

D. Basin (ETH Zürich, CH), H. Ganzinger (MPI Saarbrücken, D), J. Harrison (Intel, US), A. Pnueli (Weizmann Inst., IL)

Top

Seminar 03461, 09.11.03 - 14.11.03

  Software Intensive Embedded Systems - with Special Emphasis on Automotive

M. Broy (TU München, D), R. Ernst (TU Braunschweig, D), U. Goltz (TU Braunschweig, D), L. Lavagno (Cadence Labs, Berkeley, US)

Top

Seminar 03471, 16.11.03 - 19.11.03

  Design of Systems with Predictable Behaviour

L. Thiele (ETH Zürich, CH), R. Wilhelm (Univ. des Saarlandes, DE)

Top

Seminar 03481, 23.11.03 - 27.11.03

  e-Accessibility - new Devices, new Technologies and new Challenges in the Information Society

M. Jarke (RWTH Aachen, DE), A. Kobsa (UC Irvine, US), K. Miesenberger (Univ. of Linz, AT), C. A. Velasco (Fraunhofer FIT, St. Augustin, DE)

The Dagstuhl Foundation received a donation from: Ministerium für Bildung, Kultur und Wissenschaft, Saarland

Top

Seminar 03491, 30.11.03 - 05.12.03

  Understanding Program Dynamics

J.-D. Choi (IBM T.J. Watson Res. Center, US), B. Ryder (Rutgers Univ., US), A. Zeller (Univ. Saarbrücken, D)

Top

Seminar 03501, 07.12.03 - 12.12.03

  Robot Navigation

R. Fleischer (HKUST, HK), R. Klein (Univ. Bonn, D), A. Lopez-Ortiz (Univ. of Waterloo, CA)

Top