Calendar : Druckversion


Seminars 2003:



January 5th – January 10th 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 19th – January 24th 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 28th – January 31st 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 2nd – February 7th 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 9th – February 14th 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 16th – February 21st 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 23rd – February 28th 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 2nd – March 7th 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 9th – March 14th 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 10th – March 13th 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 16th – March 21st 2003, Dagstuhl Seminar 03121

Computational Geometry


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

Top

March 23rd – March 28th 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 30th – April 4th 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 7th – April 10th 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 21st – April 25th 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 27th – May 2nd 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 4th – May 9th 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 11th – May 16th 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 18th – May 23rd 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 1st – June 6th 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 9th – June 13th 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 22nd – June 27th 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 29th – July 4th 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 6th – July 11th 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 13th – July 18th 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 20th – July 25th 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 27th – August 1st 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 3rd – August 7th 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 26th – August 29th 2003, Dagstuhl Seminar 03351

Software Optimization


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

Top

August 31st – September 5th 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 31st – September 5th 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 7th – September 12th 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 14th – September 19th 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 21st – September 26th 2003, Dagstuhl Seminar 03391

Graph Colorings


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

Top

September 28th – October 3rd 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 5th – October 10th 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 12th – October 17th 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 19th – October 24th 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 26th – October 31st 2003, Dagstuhl Seminar 03441

Cognitive Vision Systems


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

Top

November 2nd – November 7th 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 9th – November 14th 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 16th – November 19th 2003, Dagstuhl Seminar 03471

Design of Systems with Predictable Behaviour


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

Top

November 23rd – November 27th 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 30th – December 5th 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 7th – December 12th 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 23.09.2014, 12:21 o'clock