January 5 – 10 , 2003, Dagstuhl Seminar 03021Verification and Constructive AlgebraThierry Coquand (Chalmers – Göteborg, SE), Henri Lombardi (University of Franche-Comté – Besancon, FR), Marie-Françoise Roy (University of Rennes, FR) | 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 RetrievalMichael Clausen (Universität Bonn, DE), Rolf Klein (Universität Bonn, DE), Ian H. Witten (University of Waikato, 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 BoundsAndreas Goerdt (TU Chemnitz, DE), Pavel Pudlák (Czech Academy of Sciences, CZ), Uwe Schöning (Universität Ulm, DE), Osamu Watanabe (Tokyo Institute of Technology, JP) | 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 IntelligenceVerena V. Hafner (Sony CSL – Paris, FR), Fumiya Iida (Universität Zürich, CH), Yasuo Kuniyoshi (University of Tokyo, JP), Rolf Pfeifer (Universität Zürich, CH), Luc Steels (Free University of Brussels, BE) | 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 ArchitecturesPeter M. Athanas (Virginia Polytechnic Institute – Blacksburg, US), Jürgen Becker (KIT – Karlsruher Institut für Technologie, DE), Gordon Brebner (Xilinx – San José, US), Hossam El Gindy (UNSW – Sydney, AU) | 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 OptimizationSusan L. Graham (University of California – Berkeley, US), Reinhard Wilhelm (Universität des Saarlandes, DE) | Top |
August 31 – September 5 , 2003, Dagstuhl Seminar 03361Algorithmic Aspects of Large and Complex NetworksMicah Adler (University of Massachusetts – Amherst, US), Friedhelm Meyer auf der Heide (Universität Paderborn, DE), Dorothea Wagner (KIT – Karlsruher Institut für Technologie, DE) | 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 Nešetril (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 R. 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 AutomotiveManfred Broy (TU München, DE), Rolf Ernst (TU Braunschweig, DE), Ursula Goltz (TU Braunschweig, DE), Luciano Lavagno (Polytechnic University of Torino, IT) | 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 BehaviourLothar Thiele (ETH Zürich, CH), Reinhard Wilhelm (Universität 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 |