Seminars 2003:
January 5 – 10, 2003, Dagstuhl Seminar 03021Verification and Constructive AlgebraT. 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 03041Numerical Software with Result VerificationR. 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 03051Information and Process Integration: A Life Science PerspectiveR. 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 03061Software Architecture: Recovery and ModellingA. v. Deursen (CWI Amsterdam, NL), R. Kazman (CMU Pittsburgh, USA), R. Koschke (Uni. Stuttgart, DE) | Top |
February 9 – 14, 2003, Dagstuhl Seminar 03071Emerging 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 03081Objects, Agents and FeaturesH.-D. Ehrich (Univ. Braunschweig, D), J.-J. Meyer (Utrecht, NL), M. Ryan (Univ. of Birmingham, GB) | Top |
February 23 – 28, 2003, Dagstuhl Seminar 03091Program Analysis for Object-Oriented EvolutionF. Tip (IBM T.J. Watson Res. Center, USA), G. Snelting (Univ. Passau, D), R. Johnson (Univ. of Illinois, USA) | Top |
March 2 – 7, 2003, Dagstuhl Seminar 03101Reasoning about ShapeM. 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 03111Challenges in High Performance Simulations for Science and EngineeringU. 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 03112Multimedia RetrievalM. Clausen (Univ. Bonn, D), R. Klein (Univ. Bonn, D), I. Witten (Waikato Univ. Hamilton, NZ) | Top |
March 16 – 21, 2003, Dagstuhl Seminar 03121Computational GeometryD. Halperin (Tel Aviv Univ. IL), G. Rote (FU Berlin, D) | Top |
March 23 – 28, 2003, Dagstuhl Seminar 03131Domain-Specific Program GenerationD. Batory (UT at Austin, USA), C. Consel (LaBRI, Bordeaux, F), C. Lengauer (Univ. Passau, D), M. Odersky (EPFL, Lausanne, CH) | Top |
March 30 to April 4, 2003, Dagstuhl Seminar 03141The Propositional Satisfiability Problem -- Algorithms and Lower BoundsA. 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 03151Product Family DevelopmentG. 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 03171Deduction and Infinite-state Model CheckingD. Kapur (Univ. of New Mexico, US), A. Podelski (MPI Saarbrücken, D), A. Voronkov (Univ. of Manchester, GB) | Top |
April 27 to May 2, 2003, Dagstuhl Seminar 03181Centennial Seminar on Kolmogorov Complexity and ApplicationsB. 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 03191Conceptual and Technical Aspects of Electronic LearningC. 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 03201Probabilistic Methods in Verification and PlanningC. 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 03211Adaptivity in Parallel Scientific ComputingI. 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 03231Scientific Visualization: Extracting Information and Knowledge from Scientific Data SetsG.-P. Bonneau (IMAG Grenoble, FR), T. Ertl (Univ. Stuttgart, DE), G. M. Nielson (Arizona State University, US) | Top |
June 9 – 13, 2003, Dagstuhl Seminar 03241Inconsistency ToleranceL. 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 03261Plan-Based Control of Robotic AgentsM. 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 to July 4, 2003, Dagstuhl Seminar 03271Hierarchical Methods in Computer GraphicsM. 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 03281Embodied Artificial IntelligenceV. 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 03291Algorithmic Game Theory and the InternetM. Karpinski (Univ. Bonn, D), C. Papadimitriou (UC Berkeley, US), V. Vazirani (Georgia Tech, Atlanta, US) | Top |
July 20 – 25, 2003, Dagstuhl Seminar 03301Dynamically Reconfigurable ArchitecturesP. 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) | Top |
July 27 to August 1, 2003, Dagstuhl Seminar 03311Fixed Parameter AlgorithmsM. 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 03321Internet EconomicsB. 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 03351Software OptimizationS. Graham (Berkeley, USA), R. Wilhelm (Univ. Saarbrücken, D) | Top |
August 31 to September 5, 2003, Dagstuhl Seminar 03361Algorithmic Aspects of Large and Complex NetworksM. Adler (Amherst MA, US), F. Meyer auf der Heide (Univ. Paderborn, D), D. Wagner (Univ. Karlsruhe, D) | Top |
August 31 to September 5, 2003, Dagstuhl Seminar 03362Data Quality on the WebM. 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 03371Scenarios: Models, Transformations and ToolsF. Bordeleau (Carleton Univ., Ottawa, CA), S. Leue (Univ. Freiburg, D), T. Systä (Tampere Univ. of Techn., FI) | Top |
September 14 – 19, 2003, Dagstuhl Seminar 03381New Optimization Algorithms in PhysicsH. Rieger (Univ. des Saarlandes, D), A. Hartmann (Univ. Göttingen, D), K. Mehlhorn (MPI Saarbrücken, D) | Top |
September 21 – 26, 2003, Dagstuhl Seminar 03391Graph ColoringsJ. Nesetril (Charles Univ, Praha, CZ), G. Woeginger (Univ. Twente, NL) | Top |
September 28 to October 3, 2003, Dagstuhl Seminar 03401Computational Cartography and Spatial ModellingP. 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 03411Language-Based SecurityA. 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 03421Theoretical and Computational Aspects of Matrix AlgorithmsN. 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 03431Hardware and Software Consistency Models: Programmability and PerformanceJ. 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 03441Cognitive Vision SystemsH. Christensen (Stockholm, S), H.-H. Nagel (Univ. Karlsruhe, D) | Top |
November 2 – 7, 2003, Dagstuhl Seminar 03451Applied Deductive VerificationD. 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 03461Software Intensive Embedded Systems - with Special Emphasis on AutomotiveM. 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 03471Design of Systems with Predictable BehaviourL. Thiele (ETH Zürich, CH), R. Wilhelm (Univ. des Saarlandes, DE) | Top |
November 23 – 27, 2003, Dagstuhl Seminar 03481e-Accessibility - new Devices, new Technologies and new Challenges in the Information SocietyM. Jarke (RWTH Aachen, DE), A. Kobsa (UC Irvine, US), K. Miesenberger (Univ. of Linz, AT), C. A. Velasco (Fraunhofer FIT, St. Augustin, DE) | Top |
November 30 to December 5, 2003, Dagstuhl Seminar 03491Understanding Program DynamicsJ.-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 03501Robot NavigationR. Fleischer (HKUST, HK), R. Klein (Univ. Bonn, D), A. Lopez-Ortiz (Univ. of Waterloo, CA) | Top |