05. – 10. Januar 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 |
19. – 24. Januar 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 |
28. – 31. Januar 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 |
02. – 07. Februar 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 |
09. – 14. Februar 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 |
16. – 21. Februar 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 |
23. – 28. Februar 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 |
02. – 07. März 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 |
09. – 14. März 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 |
10. – 13. März 2003, Dagstuhl-Seminar 03112Multimedia RetrievalM. Clausen (Univ. Bonn, D), R. Klein (Univ. Bonn, D), I. Witten (Waikato Univ. Hamilton, NZ) | Top |
16. – 21. März 2003, Dagstuhl-Seminar 03121Computational GeometryDan Halperin (Tel Aviv University, IL), Günter Rote (FU Berlin, DE) | Top |
23. – 28. März 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 |
30. März – 04. April 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 |
07. – 10. April 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 |
21. – 25. April 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 |
27. April – 02. Mai 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 |
04. – 09. Mai 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 |
11. – 16. Mai 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 |
18. – 23. Mai 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 |
01. – 06. Juni 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 |
09. – 13. Juni 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 |
22. – 27. Juni 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 |
29. Juni – 04. Juli 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 |
06. – 11. Juli 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 |
13. – 18. Juli 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 |
20. – 25. Juli 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 |
27. Juli – 01. August 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 |
03. – 07. August 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 |
26. – 29. August 2003, Dagstuhl-Seminar 03351Software OptimizationS. Graham (Berkeley, USA), R. Wilhelm (Univ. Saarbrücken, D) | Top |
31. August – 05. September 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 |
31. August – 05. September 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 |
07. – 12. September 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 |
14. – 19. September 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 |
21. – 26. September 2003, Dagstuhl-Seminar 03391Graph ColoringsJaroslav Nesetril (Charles University – Prague, CZ), Gerhard J. Woeginger (TU Eindhoven, NL) | Top |
28. September – 03. Oktober 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 |
05. – 10. Oktober 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 |
12. – 17. Oktober 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 |
19. – 24. Oktober 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 |
26. – 31. Oktober 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 |
02. – 07. November 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 |
09. – 14. November 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 |
09. – 12. November 2003, GI-Dagstuhl-Seminar 03463Performance of Mobile SystemsBoudewijn Haverkort (University of Twente, NL) | Top |
16. – 19. November 2003, Dagstuhl-Perspektive-Workshop 03471Design of Systems with Predictable BehaviourL. Thiele (ETH Zürich, CH), R. Wilhelm (Univ. des Saarlandes, DE) | Top |
23. – 27. November 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 |
30. November – 05. Dezember 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 |
07. – 12. Dezember 2003, Dagstuhl-Seminar 03501Robot NavigationRudolf Fleischer (Fudan University – Shanghai, CN), Rolf Klein (Universität Bonn, DE), Alejandro Lopez-Ortiz (University of Waterloo, CA) | Top |
10. – 12. Dezember 2003, Event 03503Lehrerfortbildung in InformatikWolf Böhm (SIL Speyer, DE), Uwe Peters (LPM Saarbrücken, DE), Reinhard Wilhelm (Universität des Saarlandes, DE) | Top |