Calendar : Druckversion


Seminars 2003:



January 5 – 10 , 2003, Dagstuhl Seminar 03021

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

January 19 – 24 , 2003, Dagstuhl Seminar 03041

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

January 28 – 31 , 2003, Dagstuhl Seminar 03051

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

February 2 – 7 , 2003, Dagstuhl Seminar 03061

Software Architecture: Recovery and Modelling


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

Top

February 9 – 14 , 2003, Dagstuhl Seminar 03071

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

February 16 – 21 , 2003, Dagstuhl Seminar 03081

Objects, Agents and Features


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

Top

February 23 – 28 , 2003, Dagstuhl Seminar 03091

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

March 2 – 7 , 2003, Dagstuhl Seminar 03101

Reasoning about Shape


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

Top

March 9 – 14 , 2003, Dagstuhl Seminar 03111

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

March 10 – 13 , 2003, Dagstuhl Seminar 03112

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

March 16 – 21 , 2003, Dagstuhl Seminar 03121

Computational Geometry


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

Top

March 23 – 28 , 2003, Dagstuhl Seminar 03131

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

March 30 – April 4 , 2003, Dagstuhl Seminar 03141

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

April 7 – 10 , 2003, Dagstuhl Seminar 03151

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

April 21 – 25 , 2003, Dagstuhl Seminar 03171

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

April 27 – May 2 , 2003, Dagstuhl Seminar 03181

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

May 4 – 9 , 2003, Dagstuhl Seminar 03191

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

May 11 – 16 , 2003, Dagstuhl Seminar 03201

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

May 18 – 23 , 2003, Dagstuhl Seminar 03211

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

June 1 – 6 , 2003, Dagstuhl Seminar 03231

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

June 9 – 13 , 2003, Dagstuhl Seminar 03241

Inconsistency Tolerance


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

Top

June 22 – 27 , 2003, Dagstuhl Seminar 03261

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

June 29 – July 4 , 2003, Dagstuhl Seminar 03271

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

July 6 – 11 , 2003, Dagstuhl Seminar 03281

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

July 13 – 18 , 2003, Dagstuhl Seminar 03291

Algorithmic Game Theory and the Internet


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

Top

July 20 – 25 , 2003, Dagstuhl Seminar 03301

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

July 27 – August 1 , 2003, Dagstuhl Seminar 03311

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

August 3 – 7 , 2003, Dagstuhl Seminar 03321

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

August 26 – 29 , 2003, Dagstuhl Seminar 03351

Software Optimization


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

Top

August 31 – September 5 , 2003, Dagstuhl Seminar 03361

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

August 31 – September 5 , 2003, Dagstuhl Seminar 03362

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

September 7 – 12 , 2003, Dagstuhl Seminar 03371

Scenarios: Models, Transformations and Tools


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

Top

September 14 – 19 , 2003, Dagstuhl Seminar 03381

New Optimization Algorithms in Physics


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

Top

September 21 – 26 , 2003, Dagstuhl Seminar 03391

Graph Colorings


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

Top

September 28 – October 3 , 2003, Dagstuhl Seminar 03401

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

October 5 – 10 , 2003, Dagstuhl Seminar 03411

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

October 12 – 17 , 2003, Dagstuhl Seminar 03421

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

October 19 – 24 , 2003, Dagstuhl Seminar 03431

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

October 26 – 31 , 2003, Dagstuhl Seminar 03441

Cognitive Vision Systems


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

Top

November 2 – 7 , 2003, Dagstuhl Seminar 03451

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

November 9 – 14 , 2003, Dagstuhl Seminar 03461

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

November 16 – 19 , 2003, Dagstuhl Seminar 03471

Design of Systems with Predictable Behaviour


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

Top

November 23 – 27 , 2003, Dagstuhl Seminar 03481

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

November 30 – December 5 , 2003, Dagstuhl Seminar 03491

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

December 7 – 12 , 2003, Dagstuhl Seminar 03501

Robot Navigation


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

Top

Calendar : Last Update 22.12.2014, 03:02 o'clock