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 VerificationRené Alt (UPMC – Paris, FR), Andreas Frommer (Universität Wuppertal, DE), Ralph Baker Kearfott (Univ. of Louisiana – Lafayette, US), Wolfram Luther (Universität Duisburg-Essen, DE) | Top |
January 28 – 31 , 2003, Dagstuhl Seminar 03051Information and Process Integration: A Life Science PerspectiveRolf Apweiler (European Bioinformatics Institute – Cambridge, GB), Thure Etzold (LION Bioscience – Cambridge, GB), Johann-Christoph Freytag (HU Berlin, DE), Carole Goble (University of Manchester, GB), Peter Schwarz (IBM Almaden Center, US) | Top |
February 2 – 7 , 2003, Dagstuhl Seminar 03061Software Architecture: Recovery and ModellingRick Kazman (Carnegie Mellon University – Pittsburgh, US), Rainer Koschke (Universität Bremen, DE), Arie van Deursen (CWI – Amsterdam, NL) | Top |
February 9 – 14 , 2003, Dagstuhl Seminar 03071Emerging Technologies: Can Optimization Technology meet their Demands?Thomas M. Conte (North Carolina State University, US), Christine Eisenbeis (University of Paris South XI, FR), Mary Lou Soffa (University of Virginia, US) | Top |
February 16 – 21 , 2003, Dagstuhl Seminar 03081Objects, Agents and FeaturesHans-Dieter Ehrich (TU Braunschweig, DE), John-Jules Ch. Meyer (Utrecht University, NL), Mark D. Ryan (University of Birmingham, GB) | Top |
February 23 – 28 , 2003, Dagstuhl Seminar 03091Program Analysis for Object-Oriented EvolutionRalph Johnson (University of Illinois – Urbana-Champaign, US), Gregor Snelting (Universität Passau, DE), Frank Tip (IBM TJ Watson Research Center – Hawthorne, US) | Top |
March 2 – 7 , 2003, Dagstuhl Seminar 03101Reasoning about ShapeMarkus Müller-Olm (Universität Münster, DE), Hanne Riis Nielson (Technical University of Denmark – Lyngby, DK), David Schmidt (Kansas State University, US) | Top |
March 9 – 14 , 2003, Dagstuhl Seminar 03111Challenges in High Performance Simulations for Science and EngineeringFriedel Hoßfeld (Jülich Supercomputing Centre, DE), Christopher R. Johnson (University of Utah – Salt Lake City, US), Hans Petter Langtangen (University of Oslo, NO), Ulrich Rüde (Universität Erlangen-Nürnberg, DE) | 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 GeometryDan Halperin (Tel Aviv University, IL), Günter Rote (FU Berlin, DE) | Top |
March 23 – 28 , 2003, Dagstuhl Seminar 03131Domain-Specific Program GenerationDon Batory (University of Texas – Austin, US), Charles Consel (University of Bordeaux, FR), Christian Lengauer (Universität Passau, DE), Martin Odersky (EPFL – Lausanne, CH) | Top |
March 30 – 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ünter Böckle (Siemens AG – München, DE), Peter Knauber (FH Mannheim, DE), Linda Northrop (Carnegie Mellon University – Pittsburgh, US), Klaus Pohl (Universität Duisburg – Essen, DE), Frank van der Linden (Philips Medical Systems – Best, NL) | Top |
April 21 – 25 , 2003, Dagstuhl Seminar 03171Deduction and Infinite-state Model CheckingDeepak Kapur (University of New Mexico – Albuquerque, US), Andreas Podelski (MPI für Informatik – Saarbrücken, DE), Andrei Voronkov (University of Manchester, GB) | Top |
April 27 – May 2 , 2003, Dagstuhl Seminar 03181Centennial Seminar on Kolmogorov Complexity and ApplicationsBruno Durand (University of Marseille, FR), Leonid A. Levin (Boston University, US), Wolfgang Merkle (Universität Heidelberg, DE), Alexander Shen (IITP – Moscow, RU), Paul M. B. Vitanyi (CWI – Amsterdam, NL) | Top |
May 4 – 9 , 2003, Dagstuhl Seminar 03191Conceptual and Technical Aspects of Electronic LearningCaroline Haythornthwaite (University of Illinois at Urbana Champaign, US), Wolffried Stucky (KIT – Karlsruher Institut für Technologie, DE), Gottfried Vossen (Universität Münster, DE) | Top |
May 11 – 16 , 2003, Dagstuhl Seminar 03201Probabilistic Methods in Verification and PlanningCraig Boutilier (University of Toronto, CA), Boudewijn Haverkort (University of Twente, NL), Marta Kwiatkowska (University of Birmingham, GB), Moshe Y. Vardi (Rice University – Houston, US) | Top |
May 18 – 23 , 2003, Dagstuhl Seminar 03211Adaptivity in Parallel Scientific ComputingIoana Banicescu (Mississippi State University, US), Keshav Pingali (Cornell University, US), Thomas Rauber (Universität Bayreuth, DE), Gudula Rünger (TU Chemnitz, DE) | Top |
June 1 – 6 , 2003, Dagstuhl Seminar 03231Scientific Visualization: Extracting Information and Knowledge from Scientific Data SetsGeorges-Pierre Bonneau (INRIA – Grenoble, FR), Thomas Ertl (Universität Stuttgart, DE), Gregory M. Nielson (Arizona State University – Mesa, US) | Top |
June 9 – 13 , 2003, Dagstuhl Seminar 03241Inconsistency ToleranceLeopoldo Bertossi (Carleton University – Ottawa, CA), Philippe Besnard (Paul Sabatier University – Toulouse, FR), Anthony Hunter (University College London, GB), Torsten Schaub (Universität Potsdam, DE) | Top |
June 22 – 27 , 2003, Dagstuhl Seminar 03261Plan-Based Control of Robotic AgentsMichael Beetz (TU München, DE), Malik Ghallab (LAAS – Toulouse, FR), Joachim Hertzberg (Universität Osnabrück, DE), Martha E. Pollack (University of Michigan – Ann Arbor, US) | Top |
June 29 – July 4 , 2003, Dagstuhl Seminar 03271Hierarchical Methods in Computer GraphicsMarkus Gross (ETH Zürich, CH), Dinesh Manocha (University of North Carolina at Chapel Hill, US), Heinrich Müller (TU Dortmund, DE), Hans-Peter Seidel (MPI für Informatik – Saarbrücken, DE) | 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 InternetMarek Karpinski (Universität Bonn, DE), Christos H. Papadimitriou (University of California – Berkeley, US), Vijay V. Vazirani (Georgia Institute of Technology – 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 – August 1 , 2003, Dagstuhl Seminar 03311Fixed Parameter AlgorithmsMichael R. Fellows (University of Newcastle, AU), Michael Hallett (McGill University – Montreal, CA), Rolf Niedermeier (Universität Jena, DE), Naomi Nishimura (University of Waterloo, CA) | Top |
August 3 – 7 , 2003, Dagstuhl Seminar 03321Internet EconomicsMartin Karsten (University of Waterloo, CA), Lee McKnight (Syracuse University, US), Peter Reichl (FTW Forschungszentrum Telekommunikation Wien GmbH, AT), Burkhard Stiller (Universität Zürich, CH) | Top |
August 26 – 29 , 2003, Dagstuhl Seminar 03351Software OptimizationS. Graham (Berkeley, USA), R. Wilhelm (Univ. Saarbrücken, D) | Top |
August 31 – 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 – September 5 , 2003, Dagstuhl Seminar 03362Data Quality on the WebMichael Gertz (University of California – Davis, US), M. Tamer Özsu (University of Waterloo, CA), Gunter Saake (Universität Magdeburg, DE), Kai-Uwe Sattler (TU Ilmenau, DE) | Top |
September 7 – 12 , 2003, Dagstuhl Seminar 03371Scenarios: Models, Transformations and ToolsFrancis Bordeleau (Carleton University – Ottawa, CA), Stefan Leue (Universität Konstanz, DE), Tarja Systä (Tampere University of Technology, FI) | Top |
September 14 – 19 , 2003, Dagstuhl Seminar 03381New Optimization Algorithms in PhysicsAlexander K. Hartmann (Universität Göttingen, DE), Kurt Mehlhorn (MPI für Informatik – Saarbrücken, DE), Heiko Rieger (Universität des Saarlandes, DE) | Top |
September 21 – 26 , 2003, Dagstuhl Seminar 03391Graph ColoringsJaroslav Nesetril (Charles University – Prague, CZ), Gerhard J. Woeginger (TU Eindhoven, NL) | Top |
September 28 – October 3 , 2003, Dagstuhl Seminar 03401Computational Cartography and Spatial ModellingMonika Sester (Leibniz Universität Hannover, DE), Jack Snoeyink (University of North Carolina at Chapel Hill, US), Peter van Oosterom (TU Delft, NL), Michael Worboys (University of Maine, US) | Top |
October 5 – 10 , 2003, Dagstuhl Seminar 03411Language-Based SecurityAnindya Banerjee (Kansas State University, US), Heiko Mantel (RWTH Aachen, DE), David A. Naumann (Stevens Institute of Technology, US), Andrei Sabelfeld (Cornell University, US) | Top |
October 12 – 17 , 2003, Dagstuhl Seminar 03421Theoretical and Computational Aspects of Matrix AlgorithmsNick Higham (Manchester University, GB), Volker Mehrmann (TU Berlin, DE), Siegfried M. Rump (TU Hamburg-Harburg, DE), Daniel B. Szyld (Temple University – Philadelphia, US) | Top |
October 19 – 24 , 2003, Dagstuhl Seminar 03431Hardware and Software Consistency Models: Programmability and PerformanceJens Knoop (TU Wien, AT), Jaejin Lee (Seoul National University, KR), Samuel P. Midkiff (Purdue University – West Lafayette, US), David Padua (University of Illinois – Urbana-Champaign, US) | Top |
October 26 – 31 , 2003, Dagstuhl Seminar 03441Cognitive Vision SystemsHenrik Iskov Christensen (Georgia Institute of Technology – Atlanta, US), Hans-Hellmut Nagel (KIT – Karlsruher Institut für Technologie, DE) | Top |
November 2 – 7 , 2003, Dagstuhl Seminar 03451Applied Deductive VerificationDavid Basin (ETH Zürich, CH), Harald Ganzinger (MPI-SWS – Saarbrücken, DE), John Harrison (Intel – Hillsboro, US), Amir Pnueli (New York University, US) | 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 9 – 12 , 2003, GI-Dagstuhl Seminar 03463Performance of Mobile SystemsBoudewijn Haverkort (University of Twente, NL) | Top |
November 16 – 19 , 2003, Dagstuhl Perspectives Workshop 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 SocietyMatthias Jarke (RWTH Aachen, DE), Alfred Kobsa (University of California – Irvine, US), Klaus Miesenberger (Universität Linz, AT), Carlos A. Velasco (Fraunhofer IAIS – St. Augustin, DE) | Top |
November 30 – December 5 , 2003, Dagstuhl Seminar 03491Understanding Program DynamicsJong-Deok Choi (IBM TJ Watson Research Center, US), Barbara G. Ryder (Rutgers University – Piscataway, US), Andreas Zeller (Universität des Saarlandes, DE) | Top |
December 7 – 12 , 2003, Dagstuhl Seminar 03501Robot NavigationRudolf Fleischer (Fudan University – Shanghai, CN), Rolf Klein (Universität Bonn, DE), Alejandro Lopez-Ortiz (University of Waterloo, CA) | Top |
December 10 – 12 , 2003, Event 03503Lehrerfortbildung in InformatikWolf Böhm (SIL Speyer, DE), Uwe Peters (LPM Saarbrücken, DE), Reinhard Wilhelm (Universität des Saarlandes, DE) | Top |